@polycode-projects/the-mechanical-code-talker 2.2.0 → 2.3.0

package/src/surfaces/web/memory-ask-browser.bundle.js

@@ -3472,18 +3472,14 @@ ${shown.join("\n")}${tail}`;
     applyNegationFrames: () => applyNegationFrames,
     ask: () => ask,
     classDisplayName: () => classDisplayName,
-    compositionalHint: () => compositionalHint,
     degreeMetric: () => degreeMetric,
-    evalComposite: () => evalComposite,
     metaFallbackEntityAnswer: () => metaFallbackEntityAnswer,
     normalizeQuery: () => normalizeQuery,
     parseQuery: () => parseQuery,
     parseQueryFull: () => parseQueryFull,
-    relaxParse: () => relaxParse,
     render: () => render,
     rephraseHint: () => rephraseHint,
     resolveObject: () => resolveObject,
-    touchesRephraseHint: () => touchesRephraseHint,
     traverse: () => traverse
   });
   function edgesOfKind2(graph, kind) {
@@ -7227,9 +7223,7 @@ ${bodyText}` : graphText, tier });
     CARDINALITY_RULE_CONFIDENCE: () => CARDINALITY_RULE_CONFIDENCE,
     CAX_DW_RULE: () => CAX_DW_RULE,
     CAX_DW_RULE_CONFIDENCE: () => CAX_DW_RULE_CONFIDENCE,
-    CAX_MAXC0_RULE: () => CAX_MAXC0_RULE,
     CAX_MAXC0_RULE_CONFIDENCE: () => CAX_MAXC0_RULE_CONFIDENCE,
-    CAX_SCO_RULE: () => CAX_SCO_RULE,
     CLS_SVF1_RULE: () => CLS_SVF1_RULE,
     CLS_SVF1_RULE_CONFIDENCE: () => CLS_SVF1_RULE_CONFIDENCE,
     DISJOINT_PREDICATE: () => DISJOINT_PREDICATE,
@@ -7238,14 +7232,11 @@ ${bodyText}` : graphText, tier });
     ENTAILED_SCM_SVF_PROVENANCE: () => ENTAILED_SCM_SVF_PROVENANCE,
     ENTAILED_SVF1_PROVENANCE: () => ENTAILED_SVF1_PROVENANCE,
     ENTAILED_TYPE_PROVENANCE: () => ENTAILED_TYPE_PROVENANCE,
-    ON_CLASS_PREDICATE: () => ON_CLASS_PREDICATE,
     ON_PROPERTY_PREDICATE: () => ON_PROPERTY_PREDICATE,
-    SCM_CARD_RULE: () => SCM_CARD_RULE,
     SCM_SVF_RULE: () => SCM_SVF_RULE,
     SCM_SVF_RULE_CONFIDENCE: () => SCM_SVF_RULE_CONFIDENCE,
     SOME_VALUES_FROM_PREDICATE: () => SOME_VALUES_FROM_PREDICATE,
     SUBCLASS_PREDICATE: () => SUBCLASS_PREDICATE,
-    SYLLOGISE_RULE: () => SYLLOGISE_RULE,
     TYPE_PREDICATE: () => TYPE_PREDICATE,
     buildCardinalityRestrictions: () => buildCardinalityRestrictions,
     deriveDisjointViolations: () => deriveDisjointViolations,
@@ -7967,7 +7958,7 @@ ${bodyText}` : graphText, tier });
     }
     return null;
   }
-  var SUBCLASS_PREDICATE, SYLLOGISE_RULE, ENTAILED_PROVENANCE, TYPE_PREDICATE, CAX_SCO_RULE, ENTAILED_TYPE_PROVENANCE, DISJOINT_PREDICATE, CAX_DW_RULE, ENTAILED_DISJOINT_PROVENANCE, CAX_DW_RULE_CONFIDENCE, ON_PROPERTY_PREDICATE, SOME_VALUES_FROM_PREDICATE, CLS_SVF1_RULE, ENTAILED_SVF1_PROVENANCE, CLS_SVF1_RULE_CONFIDENCE, SEP, isSubClassOf, isType, isDisjoint, isOnProperty, isSomeValuesFrom, isOnClass, RESERVED_PREDICATES, HAS_PROPERTY_KEY, CARDINALITY_KIND_OF, ON_CLASS_PREDICATE, SCM_SVF_RULE, ENTAILED_SCM_SVF_PROVENANCE, SCM_SVF_RULE_CONFIDENCE, SCM_CARD_RULE, CARDINALITY_RULE_CONFIDENCE, CAX_MAXC0_RULE, CAX_MAXC0_RULE_CONFIDENCE;
+  var SUBCLASS_PREDICATE, SYLLOGISE_RULE, ENTAILED_PROVENANCE, TYPE_PREDICATE, CAX_SCO_RULE, ENTAILED_TYPE_PROVENANCE, DISJOINT_PREDICATE, CAX_DW_RULE, ENTAILED_DISJOINT_PROVENANCE, CAX_DW_RULE_CONFIDENCE, ON_PROPERTY_PREDICATE, SOME_VALUES_FROM_PREDICATE, CLS_SVF1_RULE, ENTAILED_SVF1_PROVENANCE, CLS_SVF1_RULE_CONFIDENCE, SEP, isSubClassOf, isType, isDisjoint, isOnProperty, isSomeValuesFrom, isOnClass, RESERVED_PREDICATES, HAS_PROPERTY_KEY, CARDINALITY_KIND_OF, SCM_SVF_RULE, ENTAILED_SCM_SVF_PROVENANCE, SCM_SVF_RULE_CONFIDENCE, CARDINALITY_RULE_CONFIDENCE, CAX_MAXC0_RULE_CONFIDENCE;
   var init_syllogise = __esm({
     "src/domain/syllogise.mjs"() {
       init_hash();
@@ -8003,13 +7994,10 @@ ${bodyText}` : graphText, tier });
       ]);
       HAS_PROPERTY_KEY = "has";
       CARDINALITY_KIND_OF = { "owl:cardinality": "exactly", "owl:mincardinality": "min", "owl:maxcardinality": "max" };
-      ON_CLASS_PREDICATE = "owl:onClass";
       SCM_SVF_RULE = "someValuesFromSubsumption";
       ENTAILED_SCM_SVF_PROVENANCE = `entailed:${SCM_SVF_RULE}`;
       SCM_SVF_RULE_CONFIDENCE = 0.95;
-      SCM_CARD_RULE = "cardinalityMonotonicity";
       CARDINALITY_RULE_CONFIDENCE = 0.95;
-      CAX_MAXC0_RULE = "maxCardinalityZero";
       CAX_MAXC0_RULE_CONFIDENCE = 0.95;
     }
   });
@@ -8299,10 +8287,8 @@ ${bodyText}` : graphText, tier });
   __export(core_exports, {
     CANONICALISED_FROM_PROP: () => CANONICALISED_FROM_PROP,
     CAPABLE_OF_PREDICATE: () => CAPABLE_OF_PREDICATE2,
-    CONTRADICTION_TRUST_FLOOR: () => CONTRADICTION_TRUST_FLOOR,
     CREATED_AT_PROP: () => CREATED_AT_PROP,
     DEFAULT_RETENTION: () => DEFAULT_RETENTION,
-    DERIVED_FROM_PROP: () => DERIVED_FROM_PROP,
     FACT_CLASS: () => FACT_CLASS,
     HAS_A_PREDICATE: () => HAS_A_PREDICATE,
     IN_REPLY_TO_PROP: () => IN_REPLY_TO_PROP,
@@ -8313,7 +8299,6 @@ ${bodyText}` : graphText, tier });
     MULTI_VALUED_PREDICATES: () => MULTI_VALUED_PREDICATES,
     OPERATOR_SOURCE_ID: () => OPERATOR_SOURCE_ID,
     RULE_CLASS: () => RULE_CLASS,
-    RULE_KINDS: () => RULE_KINDS2,
     RULE_KIND_ACTION_CONSTRAINT: () => RULE_KIND_ACTION_CONSTRAINT,
     RULE_KIND_ACTION_EFFECT: () => RULE_KIND_ACTION_EFFECT,
     RULE_KIND_ACTION_PRECOND: () => RULE_KIND_ACTION_PRECOND,
@@ -8322,12 +8307,10 @@ ${bodyText}` : graphText, tier });
     RULE_KIND_FILTER: () => RULE_KIND_FILTER,
     RULE_KIND_PROP: () => RULE_KIND_PROP,
     RULE_KIND_RECURSIVE: () => RULE_KIND_RECURSIVE,
-    RULE_NAME_PROP: () => RULE_NAME_PROP,
     SAID_IN_SESSION_PROP: () => SAID_IN_SESSION_PROP,
     SOURCE_CLASS: () => SOURCE_CLASS,
     SOURCE_RELIABILITY_PROP: () => SOURCE_RELIABILITY_PROP,
     STATED_BY_PROP: () => STATED_BY_PROP,
-    TEACH_SOURCE_ID: () => TEACH_SOURCE_ID,
     UPDATED_AT_PROP: () => UPDATED_AT_PROP,
     UTTERANCE_CLASS: () => UTTERANCE_CLASS,
     appendFact: () => appendFact,

package/src/domain/router/guardrail.mjs

@@ -1,116 +0,0 @@
-// src/domain/router/guardrail.mjs — the guardrail. Validate an
-// EXTERNALLY-proposed `tool_use` against the registry's declared preconditions.
-//
-// Proves RESOLVABILITY (the tool is registered/declared, args are well-formed, every
-// `resolves(param, as)` precondition binds to a real graph entity) — NOT antecedent
-// correctness: a cross-turn mis-binding ("it" -> the wrong Commit) still resolves to a
-// real entity and passes. "This symbol denotes something real and the call is
-// well-formed", never "this is the right something".
-//
-// Pure over its inputs + ctx.resolve (the binding oracle). No network, no Date.now.
-
-import { capabilityByName, preconditionsOf, PRECOND } from "./registry.mjs";
-import { hallucinationsIn } from "./call-validator.mjs";
-
-/** The same read-only breadth-first enrichment as resolver.mjs's `dispatchEachCandidate`:
- *  dispatching the SAME tool once per tied candidate is safe for `readOnly` capabilities
- *  (dispatch performs no writes). Returns `[{candidate, result}, ...]`, or
- *  undefined when there is no dispatcher to run it with. */
-async function dispatchEachCandidate(pool, capName, arg, ctx) {
-  if (!ctx.dispatch) return undefined;
-  // Only readOnly capabilities may be dispatched here: the enrichment runs the
-  // SAME tool once per tied candidate, which is only safe when dispatch
-  // performs no writes. A registered world-mutating capability is planned
-  // over, never dispatched.
-  if (capabilityByName(capName)?.readOnly !== true) return undefined;
-  const results = [];
-  for (const c of pool) {
-    const res = await ctx.dispatch(capName, { [arg]: c.label });
-    results.push({ candidate: c.label, result: res });
-  }
-  return results;
-}
-
-/** Validate a proposed tool_use. Returns a glass-box verdict:
- *    { ok, tool, denied:[{reason,detail}], steps:[{pred,ok,...}], provenance, candidateResults? }
- *  ok=false with a default-deny/undeclared/unknown-arg/missing-arg denial is structural (no
- *  graph needed); an `unresolved` step is a binding rejection, and an ambiguous `resolves`
- *  term additionally carries `candidateResults` (the tool dispatched once per tied candidate)
- *  when `ctx.dispatch` is wired. `declaredNames=null` skips the declared-set check.
- *  `ctx.resolve(term)` is the resolveObject oracle; omit it for structural-only validation. */
-export async function guard(toolUse, declaredNames = null, ctx = {}) {
-  const name = toolUse?.name;
-  const input = toolUse && typeof toolUse.input === "object" && toolUse.input ? toolUse.input : {};
-  const denied = [];
-  const steps = [];
-
-  // Default-deny: unknown/unregistered tool is an automatic reject.
-  const declaredList = declaredNames ? [...declaredNames] : null;
-  const cap = capabilityByName(name);
-  if (!cap) {
-    denied.push({ reason: "default-deny", detail: `"${name ?? "(none)"}" is not a registered capability` });
-    return { ok: false, tool: name ?? null, denied, steps, provenance: "registry default-deny" };
-  }
-  const structural = hallucinationsIn({ name, input }, declaredList ?? [name]);
-  for (const p of structural) {
-    // no declared set supplied => "undeclared" isn't a real denial (we synthesised [name]).
-    if (!declaredList && p.reason === "undeclared") continue;
-    denied.push(p);
-  }
-
-  // Precondition check — the STRIPS safety gate, step by step.
-  let candidateResults;
-  for (const pre of preconditionsOf(name)) {
-    if (pre.pred === PRECOND.graphLoaded) {
-      steps.push({ step: "precondition", pred: pre.pred, ok: true });
-    } else if (pre.pred === PRECOND.anyPresent) {
-      const ok = pre.params.some((k) => input[k] !== undefined && input[k] !== null && String(input[k]).trim() !== "");
-      steps.push({ step: "precondition", pred: pre.pred, params: pre.params, ok });
-      if (!ok) denied.push({ reason: "missing-arg", detail: `${name} needs one of ${pre.params.join("|")}` });
-    } else if (pre.pred === PRECOND.resolves) {
-      const term = input[pre.param];
-      const present = term !== undefined && term !== null && String(term).trim() !== "";
-      if (!present) {
-        steps.push({ step: "precondition", pred: pre.pred, param: pre.param, value: null, ok: false });
-        continue;
-      }
-      // No oracle wired: assert the arg is PRESENT only, not that it binds.
-      if (!ctx.resolve) {
-        steps.push({ step: "precondition", pred: pre.pred, param: pre.param, value: term, ok: true, note: "structural-only (no resolver wired)" });
-        continue;
-      }
-      const r = ctx.resolve(String(term));
-      const resolvedOk = Boolean(r && r.match && !r.ambiguous);
-      steps.push({
-        step: "precondition", pred: pre.pred, param: pre.param, value: term,
-        ok: resolvedOk,
-        ...(r && r.match ? { boundTo: r.match.label, boundClass: r.match.class ?? null, tier: r.tier ?? null } : {}),
-        ...(r && r.ambiguous ? { ambiguous: true } : {}),
-      });
-      if (!resolvedOk) {
-        denied.push({
-          reason: "unresolved",
-          detail: r && r.ambiguous
-            ? `${name}.${pre.param}="${term}" is ambiguous (narrow it)`
-            : `${name}.${pre.param}="${term}" resolves to no graph entity`,
-        });
-        if (r && r.ambiguous) {
-          const pool = [r.match, ...(r.candidates || [])].slice(0, 4);
-          const dispatched = await dispatchEachCandidate(pool, name, pre.param, ctx);
-          if (dispatched) candidateResults = dispatched;
-        }
-      }
-    }
-  }
-
-  const ok = denied.length === 0;
-  return {
-    ok, tool: name, denied, steps, provenance: ok ? "resolvable (NOT proven antecedent-correct)" : "denied",
-    ...(candidateResults ? { candidateResults } : {}),
-  };
-}
-
-/** Convenience boolean: does a proposed tool_use PASS the guardrail? */
-export async function admits(toolUse, declaredNames = null, ctx = {}) {
-  return (await guard(toolUse, declaredNames, ctx)).ok;
-}