imhotep/Imhotep
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 4142027f9b refactor: eliminate 4 as any casts in extraction.ts master John Dvorak 2026-05-22 16:57:19 -07:00
  • 2bdda12030 fix: getTopologyValue off-by-one bug in clause-based topology evaluators John Dvorak 2026-05-22 16:40:01 -07:00
  • 8f823d959b feat: CI verification pipeline and structural conformance gates John Dvorak 2026-05-22 16:33:34 -07:00
  • 3b7be0aaf0 refactor: missing-fact discipline in proof witness generation John Dvorak 2026-05-22 16:17:18 -07:00
  • ce04b2b3de refactor: surface extraction cleanup failures as visible diagnostics John Dvorak 2026-05-22 16:06:21 -07:00
  • 066ef9f677 refactor: remove global registry fallbacks — factory pattern for test isolation John Dvorak 2026-05-22 15:44:44 -07:00
  • 6c2471052f refactor: runtime isolation — deprecate global singletons, add counter resets John Dvorak 2026-05-22 15:35:20 -07:00
  • 6a98d8ce9e refactor: compiler pipeline hardening — parser diagnostics + exhaustive switches + golden equivalence John Dvorak 2026-05-22 15:23:29 -07:00
  • 6a3a101ef4 docs: add REFACTOR execution plan with 10-phase structural roadmap John Dvorak 2026-05-22 15:04:31 -07:00
  • 8ac69254d4 feat: fact planning derived from predicate specs with fulfillment tracking John Dvorak 2026-05-22 15:02:20 -07:00
  • e78ffe3419 refactor: remove world smuggling — type styles, fragments, topologySubjectIds John Dvorak 2026-05-22 14:38:37 -07:00
  • 45b5575e53 fix: prevent silent passing on missing topology data + visible cleanup failures John Dvorak 2026-05-22 13:55:11 -07:00
  • 1a8f308f71 refactor: remove global mutable state — registry guard, compat warning, stats John Dvorak 2026-05-22 13:52:09 -07:00
  • 7f40224f0f fix: propagate compound state through toAst() and canonical lowering John Dvorak 2026-05-22 13:46:54 -07:00
  • a49d6008a4 fix: add WORLD_CACHE_SCHEMA_VERSION to cache key for automatic invalidation John Dvorak 2026-05-22 13:35:12 -07:00
  • 1bc0c8e6df refactor: replace smuggled compound properties with typed FluentRelation API John Dvorak 2026-05-22 13:31:34 -07:00
  • 9df295b915 refactor: eliminate remaining hardcoded predicate-name dispatch John Dvorak 2026-05-22 13:15:35 -07:00
  • 283ab1b39f refactor: convert grammar predicate detection to spec table John Dvorak 2026-05-22 12:51:20 -07:00
  • 2e27693278 refactor: convert DSL compiler relationCodes and unary check to spec table John Dvorak 2026-05-22 12:48:39 -07:00
  • 6f82849b4f refactor: convert validator to use predicate spec table John Dvorak 2026-05-22 12:46:41 -07:00
  • c0357b152f refactor: introduce unified PredicateSpec table, convert extraction consumers John Dvorak 2026-05-22 12:44:57 -07:00
  • aa69ddc52f fix: replace as any casts in AST walkers with typed guards + add options to PredicateCall John Dvorak 2026-05-22 12:18:22 -07:00
  • 07ed316135 fix: NaN guard in normalizeOptionValue + warn on silent parser drops John Dvorak 2026-05-22 12:08:39 -07:00
  • 9b691b2c7c fix: close out remaining audit findings — type safety, equivalence, deprecations John Dvorak 2026-05-22 12:05:43 -07:00
  • e17e4d6c20 fix: remove silent error suppression — cache failures, box index mutation, cleanup catches John Dvorak 2026-05-22 12:00:20 -07:00
  • a424d29ccc fix: remove design-debt shims — falsy ID bug, selector normalization, concurrency, exception swallowing John Dvorak 2026-05-22 11:55:58 -07:00
  • 0a73063c76 fix: topology array reordering by subject order + unary inStackingContext John Dvorak 2026-05-22 11:38:28 -07:00
  • 1ac30c6e18 fix: support between predicate in FOL dense DSL John Dvorak 2026-05-22 10:48:26 -07:00
  • 1bc92e1f7d fix: CDP extraction concurrency + topology ID remapping + predicate completeness John Dvorak 2026-05-22 10:20:06 -07:00
  • 654becabc6 chore: remove dead makeNotImplementedPredicate helper John Dvorak 2026-05-21 20:15:40 -07:00
  • b4ae8e9134 fix: children($var) domain compilation and resolver support John Dvorak 2026-05-21 20:13:57 -07:00
  • 35c5dbd153 fix: add missing predicate evaluators and BUILTIN_PREDICATES entries John Dvorak 2026-05-21 20:10:17 -07:00
  • 2eff60814d fix: force CDP extraction when formula uses variable-bound domains John Dvorak 2026-05-21 18:59:09 -07:00
  • 7c61cb51ee fix: propagate formula metrics into FOL diagnostic mapping John Dvorak 2026-05-21 17:17:06 -07:00
  • 16dcf42762 fix: propagate operand metrics through boolean connectives John Dvorak 2026-05-21 17:14:00 -07:00
  • 5830d5861e fix: resolve inStackingContext arity/semantics mismatch John Dvorak 2026-05-21 17:10:38 -07:00
  • 19559b658b feat: implement variable-bound FOL domain resolution for descendants/children John Dvorak 2026-05-21 17:05:35 -07:00
  • b7ac0e8f31 chore: remove 2 unnecessary as any casts (renderer kind, window properties) John Dvorak 2026-05-21 15:14:19 -07:00
  • 4d5456ac4a chore: classify barrel exports with @public/@internal JSDoc annotations John Dvorak 2026-05-21 15:05:35 -07:00
  • de12e93cf8 chore: fill CSS contain test gaps + unskip clippedBy e2e test John Dvorak 2026-05-21 14:44:26 -07:00
  • 4ff56d61c2 feat: wire directional alignment predicates into dense DSL grammar John Dvorak 2026-05-21 14:39:01 -07:00
  • 96bcce1ddb feat: implement directional alignment predicate evaluators (no more NYI) John Dvorak 2026-05-21 14:36:02 -07:00
  • 8dae898304 feat: annotate inside/contains overflow metrics with clipping awareness John Dvorak 2026-05-21 14:11:47 -07:00
  • d23d2a431e feat: extract CSS contain from browser in Playwright adapter John Dvorak 2026-05-21 14:05:55 -07:00
  • afb985cdf3 chore: add contain to CLIP_KIND_MAP (forward compat for Playwright pipeline) John Dvorak 2026-05-21 13:54:34 -07:00
  • c4a3d304ef feat: solver consumes CSS contain:paint for clippedBy diagnostics John Dvorak 2026-05-21 13:52:28 -07:00
  • a75c3be9e0 feat: parse CSS contain values in geometry normalization John Dvorak 2026-05-21 13:20:57 -07:00
  • a222a9fa8a chore: e2e tests for compound fluent assertions + clean barrel exports John Dvorak 2026-05-21 13:07:16 -07:00
  • 771ddaea4e fix: compound .and/.or chaining silently ignored in fluent API John Dvorak 2026-05-21 12:31:35 -07:00
  • 70f528fbab chore: polish for FOL contract delivery (CHANGELOG, CLI guardrails, metadata) John Dvorak 2026-05-21 11:58:31 -07:00
  • 4ceb411028 refactor: extract check-all.ts from public.ts (checkAll closure) John Dvorak 2026-05-21 11:26:26 -07:00
  • cec9597090 refactor: extract extraction.ts from public.ts (1935 lines) John Dvorak 2026-05-21 11:04:48 -07:00
  • 3b833798bb refactor: extract semantic-subjects.ts and llm-output.ts from public.ts John Dvorak 2026-05-21 10:31:34 -07:00
  • 5c2a49841f refactor: extract public-types.ts from public.ts (interfaces and options) John Dvorak 2026-05-21 10:24:32 -07:00
  • dd64e1e34a v1.1.0: repo polish, CI fixes, version alignment, dead artifact cleanup John Dvorak 2026-05-21 10:10:11 -07:00
  • 92deb689cd v1.1.0: pooled runtime, 959 tests, production hardening (0 squash) John Dvorak 2025-08-15 10:00:00 -07:00