@starci/eslint-grammar-core 0.15.34 → 0.16.2

package/runtime/engine/model-config.mjs

@@ -1,90 +1,112 @@
 import fs from 'node:fs';
-import {fileURLToPath} from 'node:url';
-import {parseYaml} from './yaml.mjs';
-import {isPlainObject as plain} from './plain-object.mjs';
-import {invalid} from './invalid-config.mjs';
-import {byCodeUnit} from './by-code-unit.mjs';
-import {removedOfKind} from './removed-vocabulary.mjs';
-
+import { fileURLToPath } from 'node:url';
+import { parseYaml } from './yaml.mjs';
+import { isPlainObject as plain } from './plain-object.mjs';
+import { invalid } from './invalid-config.mjs';
+import { byCodeUnit } from './by-code-unit.mjs';
+import { removedOfKind } from './removed-vocabulary.mjs';
 /** The effort vocabulary, ordered weakest to strongest — the only list of it. */
-export const EFFORT_LEVELS=new Set(['none','minimal','low','medium','high','xhigh','max','ultra']);
-const DIFFICULTIES=['easy','medium','hard','insane'];
-export const MODELS_KEYS=['tiers','seats','balance','usage'];
-const known=names=>[...names].sort(byCodeUnit).join(', ');
-
-const hasPath=(root,dotted)=>dotted.split('.').reduce((node,key)=>(plain(node)&&Object.hasOwn(node,key)?node[key]:undefined),root)!==undefined;
-
+export const EFFORT_LEVELS = new Set(['none', 'minimal', 'low', 'medium', 'high', 'xhigh', 'max', 'ultra']);
+const DIFFICULTIES = ['easy', 'medium', 'hard', 'insane'];
+export const MODELS_KEYS = ['tiers', 'seats', 'balance', 'usage'];
+const known = (names) => [...names].sort(byCodeUnit).join(', ');
+const hasPath = (root, dotted) => dotted.split('.').reduce((node, key) => (plain(node) && Object.hasOwn(node, key) ? node[key] : undefined), root) !== undefined;
 /** Refuse an old-shape config (the removed keys of modules/kernel/removed-vocabulary.yaml), naming every removed key and where its meaning lives now. */
-export function refuseRemovedKeys(config){
-  const found=removedOfKind('config-key').filter(({name})=>hasPath(config,name));
-  if(!found.length)return;
-  const removed=found.map(({name,use})=>`${name} is removed (${use})`).join('; ');
-  throw new Error(`Invalid config.yaml: ${removed}.`);
+export function refuseRemovedKeys(config) {
+    const found = removedOfKind('config-key').filter(({ name }) => hasPath(config, name));
+    if (!found.length)
+        return;
+    const removed = found.map(({ name, use }) => `${name} is removed (${use})`).join('; ');
+    throw new Error(`Invalid config.yaml: ${removed}.`);
 }
-
-let shippedCache=null;
+let shippedCache = null;
 /** modules/models/tiers.yaml as shipped, parsed once per file version. */
-export function shippedTiers(){
-  const file=fileURLToPath(new URL('../modules/models/tiers.yaml',import.meta.url));
-  let stat;try{stat=fs.statSync(file);}catch{throw new Error('Missing modules/models/tiers.yaml');}
-  const version=`${stat.mtimeMs}:${stat.size}`;
-  if(shippedCache?.version!==version)shippedCache={version,doc:parseYaml(fs.readFileSync(file,'utf8'))};
-  return structuredClone(shippedCache.doc);
+export function shippedTiers() {
+    const file = fileURLToPath(new URL('../modules/models/tiers.yaml', import.meta.url));
+    let stat;
+    try {
+        stat = fs.statSync(file);
+    }
+    catch {
+        throw new Error('Missing modules/models/tiers.yaml');
+    }
+    const version = `${stat.mtimeMs}:${stat.size}`;
+    if (shippedCache?.version !== version)
+        shippedCache = { version, doc: parseYaml(fs.readFileSync(file, 'utf8')) };
+    return structuredClone(shippedCache.doc);
 }
-
-function validateMember(bad,where,member,profile){
-  if(!plain(member)||Object.keys(member).some(key=>!['agent','model','effort'].includes(key))||typeof member.agent!=='string'||typeof member.model!=='string')
-    bad(`${where} must be {agent, model, effort?}.`);
-  if(profile.models?.[member.model]?.provider!==member.agent)bad(`${where}: model ${member.model} is not declared by agent ${member.agent} in modules/models/registry.yaml models.`);
-  if(member.effort!==undefined&&!EFFORT_LEVELS.has(member.effort))bad(`${where}.effort must use the effort vocabulary.`);
+function validateMember(bad, where, member, profile) {
+    if (!plain(member) || Object.keys(member).some(key => !['agent', 'model', 'effort'].includes(key)) || typeof member.agent !== 'string' || typeof member.model !== 'string')
+        return bad(`${where} must be {agent, model, effort?}.`);
+    if (profile.models?.[member.model]?.provider !== member.agent)
+        bad(`${where}: model ${member.model} is not declared by agent ${member.agent} in modules/models/registry.yaml models.`);
+    if (member.effort !== undefined && !(typeof member.effort === 'string' && EFFORT_LEVELS.has(member.effort)))
+        bad(`${where}.effort must use the effort vocabulary.`);
 }
-
-function validateChains(bad,tiers,profile){
-  for(const [name,chain] of Object.entries(tiers)){
-    if(!Array.isArray(chain)||!chain.length)bad(`.${name} must be a non-empty ordered list of {agent, model, effort?}.`);
-    chain.forEach((member,index)=>validateMember(bad,`.${name}[${index}]`,member,profile));
-    if(new Set(chain.map(member=>`${member.agent}/${member.model}`)).size!==chain.length)bad(`.${name} names each member once.`);
-  }
+function validateChains(bad, tiers, profile) {
+    for (const [name, chain] of Object.entries(tiers)) {
+        if (!Array.isArray(chain) || !chain.length)
+            return bad(`.${name} must be a non-empty ordered list of {agent, model, effort?}.`);
+        chain.forEach((member, index) => validateMember(bad, `.${name}[${index}]`, member, profile));
+        // validateMember refused every member that is not a {agent, model, effort?} record above.
+        const members = chain;
+        if (new Set(members.map(member => `${member.agent}/${member.model}`)).size !== chain.length)
+            bad(`.${name} names each member once.`);
+    }
 }
-
 /** A call tier is taken by a headless call only: no seat, difficulty, kind, order or caller reference may name it, and every call names one. */
-function validateUse(bad,{doc,names,refs}){
-  const callTiers=new Set(Object.entries(doc.tierUse).filter(([,use])=>use==='call').map(([tier])=>tier));
-  for(const tier of Object.keys(doc.tierUse))if(!names.has(tier))bad(`: tierUse names tier ${tier} (known: ${known(names)}).`);
-  for(const [where,tier] of refs)if(callTiers.has(tier))bad(`: ${where} names tier ${tier}, a call tier (tierUse): a headless call is made on it, no seat or op is seated on it.`);
-  for(const [call,spec] of Object.entries(doc.calls))if(!callTiers.has(spec.tier))bad(`: calls.${call}.tier ${spec.tier} must be a tier whose tierUse is call.`);
+function validateUse(bad, { doc, names, refs }) {
+    const callTiers = new Set(Object.entries(doc.tierUse).filter(([, use]) => use === 'call').map(([tier]) => tier));
+    for (const tier of Object.keys(doc.tierUse))
+        if (!names.has(tier))
+            bad(`: tierUse names tier ${tier} (known: ${known(names)}).`);
+    for (const [where, tier] of refs)
+        if (callTiers.has(tier))
+            bad(`: ${where} names tier ${tier}, a call tier (tierUse): a headless call is made on it, no seat or op is seated on it.`);
+    for (const [call, spec] of Object.entries(doc.calls))
+        if (!callTiers.has(spec.tier))
+            bad(`: calls.${call}.tier ${spec.tier} must be a tier whose tierUse is call.`);
 }
-
 /** The tier document the picker reads: the shipped tiers.yaml with config.yaml `models` laid over it. Validated. */
-export function effectiveTiers(config,profile){
-  const doc=shippedTiers(),models=plain(config?.models)?config.models:{};
-  const bad=invalid('models');
-  const tiers={...doc.tiers,...models.tiers};
-  validateChains(bad,tiers,profile);
-  const seats={...doc.seats,...models.seats};
-  const balance={...doc.balance,...models.balance};
-  const usage={...doc.usage,...models.usage};
-  const names=new Set(Object.keys(tiers));
-  const refs=[...Object.entries(seats).map(([seat,tier])=>[`.seats.${seat}`,tier]),...DIFFICULTIES.map(level=>[`difficulty.${level}`,doc.difficulty[level]]),
-    ...Object.entries(doc.kindTiers).map(([kind,tier])=>[`kindTiers.${kind}`,tier]),...doc.tierOrder.map(tier=>['tierOrder',tier])];
-  for(const [where,tier] of refs)if(!names.has(tier))bad(`: ${where} names tier ${tier} (known: ${known(names)}).`);
-  validateUse(bad,{doc,names,refs});
-  if(!(Number.isInteger(balance.maxStreak)&&balance.maxStreak>=1))bad('.balance.maxStreak must be an integer >= 1.');
-  if(!(typeof balance.maxSharePercent==='number'&&balance.maxSharePercent>0&&balance.maxSharePercent<=100))bad('.balance.maxSharePercent must be a number in (0, 100].');
-  const {reservePercent,biasPercent,exhaustedPercent}=usage;
-  if(![reservePercent,biasPercent,exhaustedPercent].every(value=>typeof value==='number'&&value>=0&&value<=100)||!(reservePercent<=biasPercent&&biasPercent<exhaustedPercent))
-    bad('.usage must hold numbers with reservePercent <= biasPercent < exhaustedPercent, each within 0..100.');
-  return {...doc,tiers,seats,balance,usage};
+export function effectiveTiers(config, profile) {
+    const doc = shippedTiers(), models = plain(config?.models) ? config.models : {};
+    const bad = invalid('models');
+    const merged = { ...doc.tiers, ...models.tiers };
+    validateChains(bad, merged, profile);
+    // validateChains refused every chain that is not a non-empty list of {agent, model, effort?} members.
+    const tiers = merged;
+    const seats = { ...doc.seats, ...models.seats };
+    const balance = { ...doc.balance, ...models.balance };
+    const usage = { ...doc.usage, ...models.usage };
+    const names = new Set(Object.keys(tiers));
+    const refs = [...Object.entries(seats).map(([seat, tier]) => [`.seats.${seat}`, tier]), ...DIFFICULTIES.map(level => [`difficulty.${level}`, doc.difficulty[level]]),
+        ...Object.entries(doc.kindTiers).map(([kind, tier]) => [`kindTiers.${kind}`, tier]), ...doc.tierOrder.map(tier => ['tierOrder', tier])];
+    for (const [where, tier] of refs)
+        if (!names.has(tier))
+            bad(`: ${where} names tier ${tier} (known: ${known(names)}).`);
+    validateUse(bad, { doc, names, refs });
+    if (!(Number.isInteger(balance.maxStreak) && balance.maxStreak >= 1))
+        bad('.balance.maxStreak must be an integer >= 1.');
+    if (!(typeof balance.maxSharePercent === 'number' && balance.maxSharePercent > 0 && balance.maxSharePercent <= 100))
+        bad('.balance.maxSharePercent must be a number in (0, 100].');
+    const { reservePercent, biasPercent, exhaustedPercent } = usage;
+    if (![reservePercent, biasPercent, exhaustedPercent].every(value => typeof value === 'number' && value >= 0 && value <= 100) || !(reservePercent <= biasPercent && biasPercent < exhaustedPercent))
+        bad('.usage must hold numbers with reservePercent <= biasPercent < exhaustedPercent, each within 0..100.');
+    return { ...doc, tiers, seats, balance, usage };
 }
-
 /** config.yaml `models` — {tiers?, seats?, balance?, usage?}; the shipped defaults make every key optional. */
-export function validateModelsBlock(config,profile){
-  refuseRemovedKeys(config);
-  const models=config?.models;
-  if(models===undefined||models===null)return;
-  const bad=invalid('models');
-  if(!plain(models)||Object.keys(models).some(key=>!MODELS_KEYS.includes(key)))bad(` must be {${MODELS_KEYS.map(key=>key+'?').join(', ')}} or null (unknown keys are refused).`);
-  if(models.tiers!==undefined&&!plain(models.tiers))bad('.tiers must map tier names to ordered member lists.');
-  for(const key of ['seats','balance','usage'])if(models[key]!==undefined&&!plain(models[key]))bad(`.${key} must be a mapping.`);
-  effectiveTiers(config,profile);
+export function validateModelsBlock(config, profile) {
+    refuseRemovedKeys(config);
+    const models = config?.models;
+    if (models === undefined || models === null)
+        return;
+    const bad = invalid('models');
+    if (!plain(models) || Object.keys(models).some(key => !MODELS_KEYS.includes(key)))
+        return bad(` must be {${MODELS_KEYS.map(key => key + '?').join(', ')}} or null (unknown keys are refused).`);
+    if (models.tiers !== undefined && !plain(models.tiers))
+        bad('.tiers must map tier names to ordered member lists.');
+    for (const key of ['seats', 'balance', 'usage'])
+        if (models[key] !== undefined && !plain(models[key]))
+            bad(`.${key} must be a mapping.`);
+    effectiveTiers(config, profile);
 }

package/runtime/engine/orca-config.mjs

@@ -1,6 +1,5 @@
-import {isPlainObject as plain} from './plain-object.mjs';
-import {invalid} from './invalid-config.mjs';
-
+import { isPlainObject as plain } from './plain-object.mjs';
+import { invalid } from './invalid-config.mjs';
 /**
  * config.yaml `orca` — the owner's Orca app settings the runtime must know. maxWorkerDepth is the deepest worker Orca
  * lets start under the owner's chat (chat = depth 0, a Kernel or the [Supervisor] 1, an op or a [Worker] 2, the draw
@@ -9,21 +8,27 @@ import {invalid} from './invalid-config.mjs';
  * deeper than it before worker-start (worker-depth-exceeded), and `start --check` with STARCI_ORCA_LIVE=1 compares it with
  * a measured probe (scripts/agent/depth-probe.mjs).
  */
-export const ORCA_DEFAULTS=Object.freeze({maxWorkerDepth:4});
+export const ORCA_DEFAULTS = Object.freeze({ maxWorkerDepth: 4 });
 /** The keys of the orca block. */
-export const ORCA_KEYS=Object.freeze(Object.keys(ORCA_DEFAULTS));
-export const MAX_WORKER_DEPTH_CEILING=16;
-export function validateOrca(orca){
-  if(orca===null)return;
-  const bad=invalid('orca');
-  if(!plain(orca))bad(' must be {maxWorkerDepth?} or null.');
-  for(const key of Object.keys(orca))if(!ORCA_KEYS.includes(key))bad(` has unknown key ${key} (allowed: ${ORCA_KEYS.join(', ')}).`);
-  const v=orca.maxWorkerDepth;
-  if(v!==undefined&&v!==null&&!(Number.isInteger(v)&&v>=1&&v<=MAX_WORKER_DEPTH_CEILING))bad(`.maxWorkerDepth must be an integer from 1 to ${MAX_WORKER_DEPTH_CEILING} equal to the Orca app's worker depth setting (default ${ORCA_DEFAULTS.maxWorkerDepth}), or null.`);
+export const ORCA_KEYS = Object.freeze(Object.keys(ORCA_DEFAULTS));
+export const MAX_WORKER_DEPTH_CEILING = 16;
+export function validateOrca(orca) {
+    if (orca === null)
+        return;
+    const bad = invalid('orca');
+    if (!plain(orca))
+        return bad(' must be {maxWorkerDepth?} or null.');
+    for (const key of Object.keys(orca))
+        if (!ORCA_KEYS.includes(key))
+            bad(` has unknown key ${key} (allowed: ${ORCA_KEYS.join(', ')}).`);
+    const v = orca.maxWorkerDepth;
+    if (v !== undefined && v !== null && !(typeof v === 'number' && Number.isInteger(v) && v >= 1 && v <= MAX_WORKER_DEPTH_CEILING))
+        bad(`.maxWorkerDepth must be an integer from 1 to ${MAX_WORKER_DEPTH_CEILING} equal to the Orca app's worker depth setting (default ${ORCA_DEFAULTS.maxWorkerDepth}), or null.`);
 }
 /** The owner's Orca settings: {maxWorkerDepth, source: 'orca'|'default'}. An absent or null block or key is the default. */
-export function orcaSettings(config){
-  if(config?.orca!==undefined)validateOrca(config.orca);
-  const value=plain(config?.orca)?config.orca.maxWorkerDepth:null;
-  return Number.isInteger(value)?{maxWorkerDepth:value,source:'orca'}:{maxWorkerDepth:ORCA_DEFAULTS.maxWorkerDepth,source:'default'};
+export function orcaSettings(config) {
+    if (config?.orca !== undefined)
+        validateOrca(config.orca);
+    const value = plain(config?.orca) ? config.orca.maxWorkerDepth : null;
+    return typeof value === 'number' && Number.isInteger(value) ? { maxWorkerDepth: value, source: 'orca' } : { maxWorkerDepth: ORCA_DEFAULTS.maxWorkerDepth, source: 'default' };
 }

package/runtime/engine/release-config.mjs

@@ -1,28 +1,32 @@
-import {isPlainObject as plain} from './plain-object.mjs';
-import {invalid} from './invalid-config.mjs';
-
+import { isPlainObject as plain } from './plain-object.mjs';
+import { invalid } from './invalid-config.mjs';
 /** The keys of the release block. */
-export const RELEASE_KEYS=Object.freeze(['suite']);
+export const RELEASE_KEYS = Object.freeze(['suite']);
 /** Where the full test suite of a release is judged: `local` (the release cut also runs the L4 rows before it tags, the shipped default) or `ci` (the GitHub workflows judge EVERY row on each push to main; the cut runs none). */
-export const SUITE_MODES=Object.freeze(['local','ci']);
-const RELEASE_DEFAULTS=Object.freeze({suite:'local'});
-
+export const SUITE_MODES = Object.freeze(['local', 'ci']);
+const RELEASE_DEFAULTS = Object.freeze({ suite: 'local' });
 /**
  * config.yaml `release` - {suite?: local | ci}: who judges the full suite of a release (docs/releasing.md "Where the suite runs"). `local` is the shipped default: `starci release cut` also runs the
  * L4 rows on this host before it tags. `ci` is the owner's recorded choice (2026-10-09, widened 2026-10-26 by push-main-after-scoped-check): the full suite runs on GitHub only, on every push
  * to main; the cut runs no row and the verdict is read with `starci release ci-status`. The push of main needs neither mode: it needs a green scoped check.
  * `none` is refused: the suite does not vanish, it moves to CI, and the value says so.
  */
-export function validateRelease(release){
-  if(release===null)return;
-  const bad=invalid('release');
-  if(!plain(release))bad(` must be {suite?: ${SUITE_MODES.join(' | ')}} or null.`);
-  for(const key of Object.keys(release))if(!RELEASE_KEYS.includes(key))bad(` has unknown key ${key} (allowed: ${RELEASE_KEYS.join(', ')}).`);
-  const value=release.suite;
-  if(value===undefined||value===null)return;
-  if(value==='none')bad('.suite: "none" is not a mode: write "ci" (no local full suite, CI judges) or "local".');
-  if(!SUITE_MODES.includes(value))bad(`.suite must be ${SUITE_MODES.join(' or ')}, or null.`);
+export function validateRelease(release) {
+    if (release === null)
+        return;
+    const bad = invalid('release');
+    if (!plain(release))
+        return bad(` must be {suite?: ${SUITE_MODES.join(' | ')}} or null.`);
+    for (const key of Object.keys(release))
+        if (!RELEASE_KEYS.includes(key))
+            bad(` has unknown key ${key} (allowed: ${RELEASE_KEYS.join(', ')}).`);
+    const value = release.suite;
+    if (value === undefined || value === null)
+        return;
+    if (value === 'none')
+        bad('.suite: "none" is not a mode: write "ci" (no local full suite, CI judges) or "local".');
+    if (typeof value !== 'string' || !SUITE_MODES.includes(value))
+        bad(`.suite must be ${SUITE_MODES.join(' or ')}, or null.`);
 }
-
 /** The suite mode a validated owner config names; an absent block or key is the shipped default. */
-export const releaseSuiteMode=config=>config?.release?.suite??RELEASE_DEFAULTS.suite;
+export const releaseSuiteMode = (config) => config?.release?.suite ?? RELEASE_DEFAULTS.suite;

package/runtime/engine/removed-vocabulary.mjs

@@ -1,26 +1,27 @@
 import fs from 'node:fs';
-import {fileURLToPath} from 'node:url';
-import {parseYaml} from './yaml.mjs';
-
-const FILE=fileURLToPath(new URL('../modules/kernel/removed-vocabulary.yaml',import.meta.url));
-
-let cache=null;
-function loaded(){
-  let stat;try{stat=fs.statSync(FILE);}catch{throw new Error('Missing modules/kernel/removed-vocabulary.yaml');}
-  const version=`${stat.mtimeMs}:${stat.size}`;
-  if(cache?.version!==version)cache={version,doc:parseYaml(fs.readFileSync(FILE,'utf8'))};
-  return cache.doc;
+import { fileURLToPath } from 'node:url';
+import { parseYaml } from './yaml.mjs';
+const FILE = fileURLToPath(new URL('../modules/kernel/removed-vocabulary.yaml', import.meta.url));
+let cache = null;
+function loaded() {
+    let stat;
+    try {
+        stat = fs.statSync(FILE);
+    }
+    catch {
+        throw new Error('Missing modules/kernel/removed-vocabulary.yaml');
+    }
+    const version = `${stat.mtimeMs}:${stat.size}`;
+    if (cache?.version !== version)
+        cache = { version, doc: parseYaml(fs.readFileSync(FILE, 'utf8')) };
+    return cache.doc;
 }
-
-
 /** modules/kernel/removed-vocabulary.yaml: the one list of spellings the runtime refuses, each with its replacement and the release that removed it. */
-export const removedVocabulary=()=>loaded().removed;
-
+export const removedVocabulary = () => loaded().removed;
 /** The removed spellings of one kind. */
-export const removedOfKind=kind=>removedVocabulary().filter(entry=>entry.kind===kind);
-
+export const removedOfKind = (kind) => removedVocabulary().filter(entry => entry.kind === kind);
 /** `<name> is removed (<replacement>)` for a removed spelling of the kind, or undefined when the name is not one. */
-export function removedNotice(kind,name){
-  const entry=removedOfKind(kind).find(candidate=>candidate.name===name);
-  return entry?`${entry.name} is removed (${entry.use})`:undefined;
+export function removedNotice(kind, name) {
+    const entry = removedOfKind(kind).find(candidate => candidate.name === name);
+    return entry ? `${entry.name} is removed (${entry.use})` : undefined;
 }

package/runtime/engine/resources-config.mjs

@@ -1,6 +1,5 @@
-import {isPlainObject as plain} from './plain-object.mjs';
-import {invalid} from './invalid-config.mjs';
-
+import { isPlainObject as plain } from './plain-object.mjs';
+import { invalid } from './invalid-config.mjs';
 /**
  * config.yaml `resources` — the owner's host-capacity floors, which override the shipped numbers of
  * modules/models/runtimes.yaml `allocation.resources`. minFreeDiskGb: the free space a drive holding the temp root or the
@@ -8,45 +7,53 @@ import {invalid} from './invalid-config.mjs';
  * percentage of the drive's size; when both are set the larger requirement applies. minFreeRamPct: the free-RAM floor below
  * which no new heavy op starts. A null or absent key leaves the shipped number.
  */
-const FLOOR_LIMITS=Object.freeze({minFreeDiskGb:Infinity,minFreeDiskPct:100,minFreeRamPct:100});
-const inRange=(value,limit)=>typeof value==='number'&&Number.isFinite(value)&&value>0&&value<=limit;
-
+const FLOOR_LIMITS = Object.freeze({ minFreeDiskGb: Infinity, minFreeDiskPct: 100, minFreeRamPct: 100 });
+const inRange = (value, limit) => typeof value === 'number' && Number.isFinite(value) && value > 0 && value <= limit;
 /** The keys of the resources block. */
-export const RESOURCE_KEYS=Object.freeze(Object.keys(FLOOR_LIMITS));
-
-export function validateResources(resources){
-  if(resources===null)return;
-  const bad=invalid('resources');
-  const keys=RESOURCE_KEYS;
-  const shape=keys.map(key=>`${key}?`).join(', ');
-  if(!plain(resources))bad(` must be {${shape}} or null.`);
-  for(const key of Object.keys(resources))if(!keys.includes(key))bad(` has unknown key ${key} (allowed: ${keys.join(', ')}).`);
-  for(const key of keys){
-    const value=resources[key];
-    if(value!==undefined&&value!==null&&!inRange(value,FLOOR_LIMITS[key])){
-      const cap=FLOOR_LIMITS[key]===Infinity?'':` and at most ${FLOOR_LIMITS[key]}`;
-      bad(`.${key} must be a number above 0${cap}, or null.`);
+export const RESOURCE_KEYS = Object.freeze(Object.keys(FLOOR_LIMITS));
+const isFloorKey = (key) => Object.hasOwn(FLOOR_LIMITS, key);
+export function validateResources(resources) {
+    if (resources === null)
+        return;
+    const bad = invalid('resources');
+    const keys = RESOURCE_KEYS;
+    const shape = keys.map(key => `${key}?`).join(', ');
+    if (!plain(resources))
+        return bad(` must be {${shape}} or null.`);
+    for (const key of Object.keys(resources))
+        if (!keys.includes(key))
+            bad(` has unknown key ${key} (allowed: ${keys.join(', ')}).`);
+    for (const key of keys) {
+        if (!isFloorKey(key))
+            continue;
+        const value = resources[key];
+        if (value !== undefined && value !== null && !inRange(value, FLOOR_LIMITS[key])) {
+            const cap = FLOOR_LIMITS[key] === Infinity ? '' : ` and at most ${FLOOR_LIMITS[key]}`;
+            bad(`.${key} must be a number above 0${cap}, or null.`);
+        }
     }
-  }
 }
-
-const declared=(block,key,source)=>{
-  const value=block?.[key];
-  if(value===undefined||value===null)return null;
-  if(!inRange(value,FLOOR_LIMITS[key]))throw new Error(`${source}.${key} must be a number above 0 (at most ${FLOOR_LIMITS[key]})`);
-  return value;
+const declared = (block, key, source) => {
+    const value = block?.[key];
+    if (value === undefined || value === null)
+        return null;
+    if (!inRange(value, FLOOR_LIMITS[key]))
+        throw new Error(`${source}.${key} must be a number above 0 (at most ${FLOOR_LIMITS[key]})`);
+    return value;
 };
-
 /**
  * The floors in force: the owner's `resources` (config.yaml) over the shipped `allocation.resources`.
  * {minFreeDiskGb, minFreeDiskPct (null when unset), minFreeRamPct}. The shipped policy owns the default numbers: when it
  * omits or misspells minFreeDiskGb or minFreeRamPct this refuses, there is no fallback constant.
  */
-export function hostFloors(shipped,owner=null){
-  const source='modules/models/runtimes.yaml allocation.resources';
-  const base={minFreeDiskGb:declared(shipped,'minFreeDiskGb',source),minFreeDiskPct:declared(shipped,'minFreeDiskPct',source),minFreeRamPct:declared(shipped,'minFreeRamPct',source)};
-  for(const key of ['minFreeDiskGb','minFreeRamPct'])if(base[key]===null)throw new Error(`${source}.${key} must declare a positive number`);
-  if(owner!==null&&owner!==undefined)validateResources(owner);
-  const pick=key=>declared(owner,key,'config.yaml resources')??base[key];
-  return {minFreeDiskGb:pick('minFreeDiskGb'),minFreeDiskPct:pick('minFreeDiskPct'),minFreeRamPct:pick('minFreeRamPct')};
+export function hostFloors(shipped, owner = null) {
+    const source = 'modules/models/runtimes.yaml allocation.resources';
+    const base = { minFreeDiskGb: declared(shipped, 'minFreeDiskGb', source), minFreeDiskPct: declared(shipped, 'minFreeDiskPct', source), minFreeRamPct: declared(shipped, 'minFreeRamPct', source) };
+    for (const key of ['minFreeDiskGb', 'minFreeRamPct'])
+        if (base[key] === null)
+            throw new Error(`${source}.${key} must declare a positive number`);
+    if (owner !== null && owner !== undefined)
+        validateResources(owner);
+    const pick = (key) => declared(owner, key, 'config.yaml resources') ?? base[key];
+    return { minFreeDiskGb: pick('minFreeDiskGb'), minFreeDiskPct: pick('minFreeDiskPct'), minFreeRamPct: pick('minFreeRamPct') };
 }

package/runtime/engine/runtime-root.mjs

@@ -1,8 +1,7 @@
 import fs from 'node:fs';
 import path from 'node:path';
-import {fileURLToPath} from 'node:url';
-import {parseYaml} from './yaml.mjs';
-
+import { fileURLToPath } from 'node:url';
+import { parseYaml } from './yaml.mjs';
 /**
  * Runtime root helper. The runtime reads this source tree directly. `skillRoot` is the
  * directory containing `package.json` (this module's parent) — the checkout, or the copy of it
@@ -13,7 +12,6 @@ import {parseYaml} from './yaml.mjs';
  * path under `skillRoot` and parses the file by its extension.
  */
 const moduleRoot = path.dirname(fileURLToPath(new URL('../package.json', import.meta.url)));
-
 /** The runtime root: this source tree (or an immutable sealed payload of it). */
 export const skillRoot = moduleRoot;
 /**
@@ -21,7 +19,6 @@ export const skillRoot = moduleRoot;
  * holding this runtime checkout. Parameterized over `env`, so a spec can inject a fixture Source.
  */
 export const starciSourceRoot = (env = process.env) => (env.STARCI_SOURCE_ROOT ? path.resolve(env.STARCI_SOURCE_ROOT) : path.dirname(skillRoot));
-
 /** Overrides the per-host state base wholesale (debug probes, spec trees); the one seam starciLocalRoot reads. */
 export const LOCAL_ROOT_ENV = 'STARCI_LOCAL_ROOT';
 /** The host-data directory of a runtime root. Git-ignored and never packed; the example fixtures under examples/.runtimes are a separate, public exception. */
@@ -38,17 +35,18 @@ export const runtimeStateDir = (root = skillRoot) => path.join(root, RUNTIME_STA
  * LOCAL_ROOT_ENV replaces it wholesale. Nothing is read from or moved out of the earlier %LOCALAPPDATA%/StarCi and ~/.starci locations.
  */
 export const starciLocalRoot = (env = process.env, root = skillRoot) => (env[LOCAL_ROOT_ENV] ? path.resolve(env[LOCAL_ROOT_ENV]) : runtimeStateDir(root));
-
 /**
  * Read a runtime contract document. `parts` are path segments under `skillRoot`
  * (e.g. readModuleJson('modules', 'models', 'kinds.yaml')).
  */
+// reason: a parsed YAML/JSON contract document read from disk (parsed-input boundary); callers index into it by contract shape.
 export function readModuleJson(...parts) {
-  const rel = parts.join('/');
-  const file = path.join(skillRoot, rel);
-  if (!(file.startsWith(skillRoot) && fs.existsSync(file) && fs.statSync(file).isFile()))
-    throw new Error(`Required contract not found for ${rel} under ${skillRoot}`);
-  const text = fs.readFileSync(file, 'utf8');
-  if (/\.ya?ml$/i.test(file)) return parseYaml(text);
-  return JSON.parse(text);
+    const rel = parts.join('/');
+    const file = path.join(skillRoot, rel);
+    if (!(file.startsWith(skillRoot) && fs.existsSync(file) && fs.statSync(file).isFile()))
+        throw new Error(`Required contract not found for ${rel} under ${skillRoot}`);
+    const text = fs.readFileSync(file, 'utf8');
+    if (/\.ya?ml$/i.test(file))
+        return parseYaml(text);
+    return JSON.parse(text);
 }