@factoidal/core 0.7.1 → 0.10.0

package/sample-store/gen-1/predicate-4.ibk3.oli2.merkle

@@ -1 +0,0 @@
-�$�����B�7�!bUs�2���1��S�f

package/sample-store/gen-1/predicate-4.ibk3.sri2.merkle

@@ -1 +0,0 @@
-5c�X���,'C����8DYӻ[����t�@�/l

package/sample-store/gen-1/predicate-4.ibk3.tli1.merkle

@@ -1,2 +0,0 @@
-X��N�����(`tw8a�sdR���
-H�:���

package/sample-store/gen-1/predicate-5.ibk3.merkle

@@ -1 +0,0 @@
-'�=�U)B:��ӯ�ٳ�{I��4FoֹJKA

package/sample-store/gen-1/predicate-5.ibk3.oli2.merkle

@@ -1 +0,0 @@
-	i���<�%4�0���z."~�v4n�*$ǝ

package/sample-store/gen-1/predicate-5.ibk3.sri2.merkle

@@ -1 +0,0 @@
-��(WUVh�ؠ$w���6�zh��L�Qo���

package/sample-store/gen-1/predicate-5.ibk3.tli1.merkle

@@ -1 +0,0 @@
-�Đ��5�k��EQ2��zE��;��oɗ�

package/sample-store/gen-1/predicate-6.ibk3.merkle

@@ -1 +0,0 @@
-���2N����Y�M~8������3�(z>l�r��

package/sample-store/gen-1/predicate-6.ibk3.oli2.merkle

@@ -1 +0,0 @@
-�6��%v�.+u���}0�v�0��������

package/sample-store/gen-1/predicate-6.ibk3.sri2.merkle

@@ -1 +0,0 @@
-q�/F����AL&��z�1�z�YP�x#

package/sample-store/gen-1/predicate-7.ibk3.oli2.merkle

@@ -1,2 +0,0 @@
-�w�#���H��Ѐ:4����<V�
-Q�n��

package/sample-store/gen-1/predicate-7.ibk3.sri2.merkle

@@ -1 +0,0 @@
-�~��CV�L��3&#�|��D�6��	��

package/sample-store/gen-1/predicate-7.ibk3.tli1.merkle

@@ -1 +0,0 @@
-�8}��P0�oK���5t ����8�f
OR�

package/sample-store/gen-1/predicate-8.ibk3.merkle

@@ -1 +0,0 @@
-_��k��2Ǟ��bk[�r�Փ���>+�8�"

package/sample-store/gen-1/predicate-8.ibk3.oli2.merkle

@@ -1 +0,0 @@
-�

package/sample-store/gen-1/predicate-8.ibk3.sri2.merkle

@@ -1 +0,0 @@
-���]",�b��\�B\�$on�ΰ�gcEb

package/sample-store/gen-1/predicate-8.ibk3.tli1.merkle

@@ -1 +0,0 @@
-`��y�

package/sample-store/gen-1/predicate-9.ibk3.merkle

@@ -1 +0,0 @@
-Zvt&��Sv�V�u¹t��ڼ{7�MP��j*

package/sample-store/gen-1/predicate-9.ibk3.oli2.merkle

@@ -1 +0,0 @@
-!'M�Uw����,GD��������A�|���a�

package/sample-store/gen-1/predicate-9.ibk3.sri2.merkle

@@ -1,3 +0,0 @@
-��9\X��
-�
-�cGC�%Mο�c���*��G?

package/sample-store/gen-1/predicate-9.ibk3.tli1.merkle

@@ -1,2 +0,0 @@
-�
->��fa���?��i�+-N���>R��

package/select.d.ts

@@ -1,116 +0,0 @@
-// TypeScript declarations for factoidal/select — the backend selector
-// (issue #618): one typed surface over both the F* engine (./index.js)
-// and the Lean 4 engine (./l4-core.js), with an explicit, observable
-// lean/fstar/lean1st/fstar1st/slowcompareboth switch. See select.js for
-// the full design rationale and the sub-question decisions.
-
-export type Backend = 'lean' | 'fstar' | 'lean1st' | 'fstar1st' | 'slowcompareboth';
-
-export const BACKENDS: readonly Backend[];
-
-/** Function names the selector can route (see select.js's ALWAYS_IF_ENTRY/CAP_FLAG). */
-export const ROUTABLE: readonly string[];
-
-export interface CallOptions {
-  /** Per-call override of the selector instance's default backend. */
-  backend?: Backend;
-  /** lean1st/fstar1st only: function names routed to the OTHER engine
-   * regardless of what the primary engine implements. */
-  overrideFns?: string[];
-}
-
-export interface SingleEngineResult<T> {
-  engine: 'lean' | 'fstar';
-  backend: Backend;
-  value: T;
-}
-
-export interface CompareBothResult<T> {
-  engine: 'both';
-  backend: 'slowcompareboth';
-  /** false is a reportable finding, not a thrown error. */
-  agree: boolean;
-  comparison: { method: string };
-  lean: T;
-  fstar: T;
-}
-
-export type SelectResult<T> = SingleEngineResult<T> | CompareBothResult<T>;
-
-/** { lean: boolean, fstar: boolean } per routable function name, derived live. */
-export type CapabilityTable = Record<string, { lean: boolean; fstar: boolean }>;
-
-export function capabilityTable(): Promise<CapabilityTable>;
-export function engineSupports(engineApi: unknown, fnName: string): Promise<boolean>;
-export function compareValues(
-  fnName: string, leanValue: unknown, fstarValue: unknown
-): Promise<{ equal: boolean; method: string }>;
-
-export interface SelectorOptions {
-  backend?: Backend;
-  overrideFns?: string[];
-}
-
-export interface Selector {
-  readonly backend: Backend;
-  readonly overrideFns: string[];
-  call(fnName: string, args: unknown[], callOptions?: CallOptions): Promise<SelectResult<unknown>>;
-  capabilityTable(): Promise<CapabilityTable>;
-  parse(text: string, options?: unknown, callOptions?: CallOptions): Promise<SelectResult<unknown>>;
-  query(data: unknown, sparql: string, options?: unknown, callOptions?: CallOptions): Promise<SelectResult<unknown>>;
-  update(data: unknown, updateText: string, callOptions?: CallOptions): Promise<SelectResult<unknown>>;
-  serialize(data: unknown, options?: unknown, callOptions?: CallOptions): Promise<SelectResult<string>>;
-  canonicalize(data: unknown, callOptions?: CallOptions): Promise<SelectResult<string>>;
-  canonicalHash(data: unknown, callOptions?: CallOptions): Promise<SelectResult<string>>;
-  graphs(data: unknown, callOptions?: CallOptions): Promise<SelectResult<unknown>>;
-  owlClosure(data: unknown, mode: string, callOptions?: CallOptions): Promise<SelectResult<unknown>>;
-  owlIsConsistent(data: unknown, options?: unknown, callOptions?: CallOptions): Promise<SelectResult<unknown>>;
-  owlEntails(premise: unknown, conclusion: unknown, options?: unknown, callOptions?: CallOptions): Promise<SelectResult<unknown>>;
-  coreRdfsClosure(data: unknown, options?: unknown, callOptions?: CallOptions): Promise<SelectResult<unknown>>;
-  coreRdfsCheck(data: unknown, options?: unknown, callOptions?: CallOptions): Promise<SelectResult<unknown>>;
-  rhoDfClosure(data: unknown, options?: unknown, callOptions?: CallOptions): Promise<SelectResult<unknown>>;
-  rhoDfFragmentCheck(data: unknown, options?: unknown, callOptions?: CallOptions): Promise<SelectResult<unknown>>;
-  rdfsPlusClosure(data: unknown, options?: unknown, callOptions?: CallOptions): Promise<SelectResult<unknown>>;
-  shaclValidate(data: unknown, shapes: unknown, options?: unknown, callOptions?: CallOptions): Promise<SelectResult<unknown>>;
-  shexValidate(data: unknown, schema: string, focus: unknown, shape?: unknown, callOptions?: CallOptions): Promise<SelectResult<unknown>>;
-  /** Lean-only: `backend:'fstar'` throws (formal/fstar has no CL/IKL parser). */
-  clParse(clifText: string, callOptions?: CallOptions): Promise<SelectResult<{
-    ok: boolean;
-    sentences: number;
-    pureCL: boolean;
-    normalized: string;
-  }>>;
-  /** Lean-only, same reason as clParse. `roundTripProved` is always
-   * `false` -- `clif_roundTrip` is an OPEN lemma; see l4-core.d.ts. */
-  clSerialize(clifText: string, callOptions?: CallOptions): Promise<SelectResult<{
-    ok: boolean;
-    clif: string;
-    sentences: number;
-    roundTripProved: false;
-  }>>;
-  /** Lean-only, same reason as clParse. Bound-variable-renaming
-   * canonical form (IKL GUIDE Appendix B condition (1)). */
-  clAlphaNorm(clifText: string, callOptions?: CallOptions): Promise<SelectResult<{
-    ok: boolean;
-    clif: string;
-    sentences: number;
-  }>>;
-  /** Lean-only, same reason as clParse. Preserves SATISFIABILITY, not
-   * equivalence; `noIntrusion` is the proof hypothesis itself, not a
-   * paraphrase -- see l4-core.d.ts. */
-  clNormalize(clifText: string, callOptions?: CallOptions): Promise<SelectResult<{
-    ok: boolean;
-    head: string[];
-    tail: string[];
-    clif: string;
-    sentences: number;
-    thatCount: number;
-    noIntrusion: boolean;
-    preserves: 'satisfiability';
-    provedUnder: string;
-  }>>;
-  // clFiniteSat has no named sugar here (owner decision, 2026-08-26):
-  // use call('clFiniteSat', [interpJson, clifText], callOptions).
-}
-
-export function createSelector(options?: SelectorOptions): Selector;