Search results

lifesci JS demo still stack-overflows after patch #95 fix (concatMap/op_At unblocked)

Status: Open.

#119 In danbri/factoidal;

· danbri opened on Apr 28, 2026

Phase 2.5: F* perf parity for cottas_ondisk_search — array-shape column data

Status: Open.

#118 In danbri/factoidal;

· danbri opened on Apr 27, 2026

sparql query planner / indexing improvements

Status: Open.

#117 In danbri/factoidal;

· danbri opened on Apr 27, 2026

Rename agent handle: qof3 → query-path defensive backtrace logging

Status: Open.

#115 In danbri/factoidal;

· danbri opened on Apr 27, 2026

Rename agent handle: tav5 → HTTP 413 result-row cap + tail-rec serialiser

Status: Open.

#116 In danbri/factoidal;

· danbri opened on Apr 27, 2026

Rename agent handle: pe4 → RSS / heap / fd progress instrumentation in search loop

Status: Open.

#114 In danbri/factoidal;

· danbri opened on Apr 27, 2026

Rename agent handle: aleph6 → streaming COUNT + LIMIT pushdown

Status: Open.

#113 In danbri/factoidal;

· danbri opened on Apr 27, 2026

Rename agent handle: vav3 → mmap'd companion-file readers + boot orchestrator

Status: Open.

#112 In danbri/factoidal;

· danbri opened on Apr 27, 2026

Rename agent handle: bet7 → lazy column populate (boot-time Hashtbl filling)

Status: Open.

#111 In danbri/factoidal;

· danbri opened on Apr 27, 2026

Rename agent handle: mem5 → estimator presence-bitmap fast-path

Status: Open.

#110 In danbri/factoidal;

· danbri opened on Apr 27, 2026

Rename agent handle: lamed3 → predicate row-offset companion-file writer + search dispatcher rename pivot

Status: Open.

#109 In danbri/factoidal;

· danbri opened on Apr 27, 2026

Rename agent handle: yod6 → predicate presence-bitmap prune

Status: Open.

#108 In danbri/factoidal;

· danbri opened on Apr 27, 2026