aontu 0.53.0 → 0.55.0

package/dist/val/IdFuncVal.d.ts

@@ -1,13 +0,0 @@
-import type { Val, ValSpec } from '../type';
-import { AontuContext } from '../ctx';
-import { FuncBaseVal } from './FuncBaseVal';
-import { TopVal } from './TopVal';
-export declare function idName(v: any): string | undefined;
-declare class IdFuncVal extends FuncBaseVal {
-    isIdFunc: boolean;
-    constructor(spec: ValSpec, ctx?: AontuContext);
-    make(_ctx: AontuContext, spec: ValSpec): Val;
-    funcname(): string;
-    resolve(ctx: AontuContext, args: Val[]): import("./NilVal").NilVal | TopVal;
-}
-export { IdFuncVal, };

package/dist/val/IdFuncVal.js

@@ -1,54 +0,0 @@
-"use strict";
-/* Copyright (c) 2025 Richard Rodger, MIT License */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.IdFuncVal = void 0;
-exports.idName = idName;
-const err_1 = require("../err");
-const FuncBaseVal_1 = require("./FuncBaseVal");
-const TopVal_1 = require("./TopVal");
-const Val_1 = require("./Val");
-// Letters, digits, `_`, `-`, `/` — and NO DOTS: a dot separates an
-// entity address from a sub-path (G4 phase 2), so a dotted id would
-// make `svc/auth.port` ambiguous between "the entity `svc/auth.port`"
-// and "the port of `svc/auth`".
-const ID_NAME = /^[A-Za-z0-9_/-]+$/;
-// The name an argument spells, or undefined when it does not spell
-// one. A bare `svc/auth` parses as a string, as does `"svc/auth"`;
-// anything else — a number, a map, an unresolved reference — is not a
-// name, and saying so at once beats an entity nobody can address.
-function idName(v) {
-    if (true !== v?.isScalar || 'string' !== typeof v.peg) {
-        return undefined;
-    }
-    return ID_NAME.test(v.peg) ? v.peg : undefined;
-}
-class IdFuncVal extends FuncBaseVal_1.FuncBaseVal {
-    constructor(spec, ctx) {
-        super(spec, ctx);
-        this.isIdFunc = true;
-    }
-    make(_ctx, spec) {
-        return new IdFuncVal(spec);
-    }
-    funcname() {
-        return 'id';
-    }
-    resolve(ctx, args) {
-        const name = idName(args[0]);
-        if (undefined === name) {
-            return (0, err_1.makeNilErr)(ctx, 'id_name', this, undefined, 'id');
-        }
-        // THE UNIT, carrying the identity: `id(x) & v` must be `v` with an
-        // identity, so the function resolves to what unifies with anything
-        // and lets the rider in `unite` do the stamping.
-        const out = new TopVal_1.TopVal({}, ctx);
-        // NOT id 0: TopVal pins that, and `unite`'s fast path returns
-        // early for two done Vals sharing an id — which would drop one of
-        // two identities before the rider could refuse them.
-        out.id = (0, Val_1.nextValId)();
-        out.entity = name;
-        return out;
-    }
-} /* node:coverage ignore next 6 */
-exports.IdFuncVal = IdFuncVal;
-//# sourceMappingURL=IdFuncVal.js.map

package/dist/val/IdFuncVal.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"IdFuncVal.js","sourceRoot":"","sources":["../../src/val/IdFuncVal.ts"],"names":[],"mappings":";AAAA,oDAAoD;;;;AAwBpD,gCAAmC;AAEnC,+CAA2C;AAC3C,qCAAiC;AACjC,+BAAiC;AAGjC,mEAAmE;AACnE,oEAAoE;AACpE,sEAAsE;AACtE,gCAAgC;AAChC,MAAM,OAAO,GAAG,mBAAmB,CAAA;AAGnC,mEAAmE;AACnE,mEAAmE;AACnE,sEAAsE;AACtE,kEAAkE;AAClE,gBAAuB,CAAM;IAC3B,IAAI,IAAI,KAAK,CAAC,EAAE,QAAQ,IAAI,QAAQ,KAAK,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC;QACtD,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAA;AAChD,CAAC;AAGD,MAAM,SAAU,SAAQ,yBAAW;IAGjC,YACE,IAAa,EACb,GAAkB;QAElB,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QANlB,aAAQ,GAAG,IAAI,CAAA;IAOf,CAAC;IAED,IAAI,CAAC,IAAkB,EAAE,IAAa;QACpC,OAAO,IAAI,SAAS,CAAC,IAAI,CAAC,CAAA;IAC5B,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAA;IACb,CAAC;IAED,OAAO,CAAC,GAAiB,EAAE,IAAW;QACpC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;QAC5B,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,OAAO,IAAA,gBAAU,EAAC,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;QAC1D,CAAC;QAED,mEAAmE;QACnE,mEAAmE;QACnE,iDAAiD;QACjD,MAAM,GAAG,GAAG,IAAI,eAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QAC/B,8DAA8D;QAC9D,kEAAkE;QAClE,qDAAqD;QACrD,GAAG,CAAC,EAAE,GAAG,IAAA,eAAS,GAAE,CAAA;QACpB,GAAG,CAAC,MAAM,GAAG,IAAI,CAAA;QACjB,OAAO,GAAG,CAAA;IACZ,CAAC;CACF,CAAC,iCAAiC;QAIjC,SAAS"}

package/src/val/IdFuncVal.ts

@@ -1,91 +0,0 @@
-/* Copyright (c) 2025 Richard Rodger, MIT License */
-
-// THE IDENTITY MARK (G4 phase 1,
-// docs/capability-review/g4-identity-relations.md): `id(name)`
-// declares that the enclosing value is an independent ENTITY named
-// `name`, and every node in one evaluation carrying that name is
-// unified with every other.
-//
-// It is written as a conjunct — `id(svc/auth) & { … }` — so the
-// function itself resolves to the UNIT (top) carrying the name, and
-// the identity rides the meet onto the value, the same channel G3's
-// deprecation record uses. Declaring two nodes the same entity MEANS
-// unifying them, so a contradiction between them is a located error
-// naming both sites: the anti-`owl:sameAs`.
-
-import type {
-  Val,
-  ValSpec,
-} from '../type'
-
-import {
-  AontuContext,
-} from '../ctx'
-
-import { makeNilErr } from '../err'
-
-import { FuncBaseVal } from './FuncBaseVal'
-import { TopVal } from './TopVal'
-import { nextValId } from './Val'
-
-
-// Letters, digits, `_`, `-`, `/` — and NO DOTS: a dot separates an
-// entity address from a sub-path (G4 phase 2), so a dotted id would
-// make `svc/auth.port` ambiguous between "the entity `svc/auth.port`"
-// and "the port of `svc/auth`".
-const ID_NAME = /^[A-Za-z0-9_/-]+$/
-
-
-// The name an argument spells, or undefined when it does not spell
-// one. A bare `svc/auth` parses as a string, as does `"svc/auth"`;
-// anything else — a number, a map, an unresolved reference — is not a
-// name, and saying so at once beats an entity nobody can address.
-export function idName(v: any): string | undefined {
-  if (true !== v?.isScalar || 'string' !== typeof v.peg) {
-    return undefined
-  }
-  return ID_NAME.test(v.peg) ? v.peg : undefined
-}
-
-
-class IdFuncVal extends FuncBaseVal {
-  isIdFunc = true
-
-  constructor(
-    spec: ValSpec,
-    ctx?: AontuContext
-  ) {
-    super(spec, ctx)
-  }
-
-  make(_ctx: AontuContext, spec: ValSpec): Val {
-    return new IdFuncVal(spec)
-  }
-
-  funcname() {
-    return 'id'
-  }
-
-  resolve(ctx: AontuContext, args: Val[]) {
-    const name = idName(args[0])
-    if (undefined === name) {
-      return makeNilErr(ctx, 'id_name', this, undefined, 'id')
-    }
-
-    // THE UNIT, carrying the identity: `id(x) & v` must be `v` with an
-    // identity, so the function resolves to what unifies with anything
-    // and lets the rider in `unite` do the stamping.
-    const out = new TopVal({}, ctx)
-    // NOT id 0: TopVal pins that, and `unite`'s fast path returns
-    // early for two done Vals sharing an id — which would drop one of
-    // two identities before the rider could refuse them.
-    out.id = nextValId()
-    out.entity = name
-    return out
-  }
-} /* node:coverage ignore next 6 */
-
-
-export {
-  IdFuncVal,
-}