niklas/amduat
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Commit graph

  • 8ea3ec861f asl/index-fs: add neg-cache, bloom precheck, and fix O(N²) load_segment main Carl Niklas Rydberg 2026-04-17 22:12:11 +0200
  • 807816e0f2 asl/index-fs: add snapshot-anchor fast path for get and tests Carl Niklas Rydberg 2026-04-04 02:33:21 +0200
  • bc55ed994b index-fs: append log records in place and add opt-in put precheck bypass Carl Niklas Rydberg 2026-03-30 22:37:46 +0200
  • 26fa4cce66 Error fix Carl Niklas Rydberg 2026-03-29 07:04:33 +0200
  • 73833c0107 Add scriptlab Carl Niklas Rydberg 2026-02-22 16:34:10 +0100
  • 3473b19425 trow AI at it. Carl Niklas Rydberg 2026-02-22 00:25:56 +0100
  • 7b3ef3eab4 test_projector_loop_stub Carl Niklas Rydberg 2026-02-21 20:07:57 +0100
  • baa4794918 Add projector pattern Carl Niklas Rydberg 2026-02-21 19:50:00 +0100
  • f4ddb17a58 Fixing tests. Carl Niklas Rydberg 2026-02-21 19:23:59 +0100
  • 5bcf06783b Add substrate contract wit oversteps into app building. Carl Niklas Rydberg 2026-02-21 18:22:41 +0100
  • 7e3e302988 Add Minio adapter. Carl Niklas Rydberg 2026-02-21 18:04:15 +0100
  • 1f4b8ff5bc Add OSS backend proposal specifics and otiline conformance tests Carl Niklas Rydberg 2026-02-21 17:03:56 +0100
  • f212880d97 Moved PEL trace/TGK conformance vectors v0 Carl Niklas Rydberg 2026-02-21 00:05:44 +0100
  • 64e23555ae Add PEL trace/TGK conformance vectors v0 Carl Niklas Rydberg 2026-02-21 00:05:02 +0100
  • a433f92f13 Fixed but not niklas/lock-file-fix-anchor Carl Niklas Rydberg 2026-02-08 09:54:37 +0100
  • 88d9717513 Stop snapshot-anchor warning flood during state checks Carl Niklas Rydberg 2026-02-08 09:01:13 +0100
  • 624bd29bf9 Recover index state and stale log heads after partial repairs Carl Niklas Rydberg 2026-02-08 08:55:39 +0100
  • 6ab25361be Keep log verify retries portable across C feature sets Carl Niklas Rydberg 2026-02-08 08:47:25 +0100
  • 8b2979e11d Use nanosleep for log verify retry delay Carl Niklas Rydberg 2026-02-08 08:46:34 +0100
  • d0e53170f3 Gate log head CAS on readable chunk verification Carl Niklas Rydberg 2026-02-08 08:46:09 +0100
  • 327812ca96 Harden pointer head writes against ENOENT races Carl Niklas Rydberg 2026-02-08 08:46:06 +0100
  • 03d970c576 Fixed lock file error Carl Niklas Rydberg 2026-02-08 06:08:25 +0100
  • c7a9e2f6aa Fix index-fs write locking and add index backend regressions Carl Niklas Rydberg 2026-02-08 00:06:42 +0100
  • 9a2903072b Fix log encode size calc federation apiv2 Carl Niklas Rydberg 2026-01-23 22:28:45 +0100
  • 337466b073 amduat-pel: add edges dump command Carl Niklas Rydberg 2026-01-23 20:58:09 +0100
  • d9122b53bb Add PEL collection view projection Carl Niklas Rydberg 2026-01-23 20:18:23 +0100
  • 3e526975ce Fix build linkages for pel tools Carl Niklas Rydberg 2026-01-23 19:34:53 +0100
  • 85c23e49eb Add generic records and collections Carl Niklas Rydberg 2026-01-23 19:15:16 +0100
  • e2d26e53cd Add CAS-native append-only log Carl Niklas Rydberg 2026-01-23 19:04:49 +0100
  • c4571c3bfb Add SID cache and read-first derivation Carl Niklas Rydberg 2026-01-23 18:31:21 +0100
  • 4932fbd21c federation? Carl Niklas Rydberg 2026-01-21 19:54:32 +0100
  • 0f38165804 Document federation API and deprecate replay_domain qbits Carl Niklas Rydberg 2026-01-18 12:10:12 +0100
  • 282d1eb959 Document ownership and add replay build alias Carl Niklas Rydberg 2026-01-18 12:07:43 +0100
  • d8a6603ddc Improve federation API docs and errors Carl Niklas Rydberg 2026-01-18 12:03:18 +0100
  • 5cc56b2ce8 Add federation integration example Carl Niklas Rydberg 2026-01-18 11:54:36 +0100
  • ba78946a73 Add federation implementation references Carl Niklas Rydberg 2026-01-18 11:52:39 +0100
  • 94c6c4be26 Update federation implementation notes Carl Niklas Rydberg 2026-01-18 11:44:30 +0100
  • ed64c6ed89 Remove federation location metadata Carl Niklas Rydberg 2026-01-18 11:43:03 +0100
  • 2931e35c69 Add federation locations and conflict checks Carl Niklas Rydberg 2026-01-18 11:25:39 +0100
  • 489738c5ba Add federation view cache and resolve Carl Niklas Rydberg 2026-01-18 11:17:35 +0100
  • 5a0a2f80c7 Add federation registry, replay, and ingest Carl Niklas Rydberg 2026-01-18 10:56:52 +0100
  • f707244888 Add federation docs and implementation notes Carl Niklas Rydberg 2026-01-18 09:48:30 +0100
  • 948a156f5c Add PEL program builder and derivation indexing Carl Niklas Rydberg 2026-01-18 09:21:25 +0100
  • 8c5e593cec Added tmp and store to .gitignore Carl Niklas Rydberg 2026-01-18 09:20:41 +0100
  • 7b9c55ea6d Adjust asl_store_index_fs timing Carl Niklas Rydberg 2026-01-18 07:41:03 +0100
  • 3198d8ddbe Fix derivation index fs test Carl Niklas Rydberg 2026-01-18 07:36:59 +0100
  • 1d04c32401 Add derivation index CLI Carl Niklas Rydberg 2026-01-18 07:27:48 +0100
  • 8c5fa71388 Refine ASL indexes taxonomy Carl Niklas Rydberg 2026-01-18 06:55:00 +0100
  • 7a3dcc3978 Add audit entries for index/log accel Carl Niklas Rydberg 2026-01-18 06:28:25 +0100
  • 4f59bc7e79 Update audit coverage status Carl Niklas Rydberg 2026-01-18 06:24:09 +0100
  • 745cf89eb7 Add ASL index accel routing key Carl Niklas Rydberg 2026-01-18 06:20:48 +0100
  • 7878cd3702 Add TGK exec plan encoding Carl Niklas Rydberg 2026-01-18 06:13:07 +0100
  • dde532d68f Improve ASL store index lifecycle Carl Niklas Rydberg 2026-01-18 05:54:31 +0100
  • 0a118b9841 Tighten ASL index/log conformance checks Carl Niklas Rydberg 2026-01-18 05:04:55 +0100
  • 4d2fb250cd Document FER/1 v1.1 TLVs and test helpers Carl Niklas Rydberg 2026-01-17 21:38:04 +0100
  • b506cc6c7c Extend FER/1 receipts and TGK store support Carl Niklas Rydberg 2026-01-17 21:34:24 +0100
  • 83cbe28ede asl_store_index_fs: add perf/stress tests and summaries Carl Niklas Rydberg 2026-01-17 19:49:12 +0100
  • 017bc87e04 asl_store_index_fs: stream log snapshot/truncate Carl Niklas Rydberg 2026-01-17 17:58:59 +0100
  • 0667cee17d Add bloom filters to ASL index segments Carl Niklas Rydberg 2026-01-17 16:55:46 +0100
  • 06a96f25db Add snapshot manifests and auto snapshot policy Carl Niklas Rydberg 2026-01-17 16:43:47 +0100
  • 556c65a54e Add ASL index/log inspection commands Carl Niklas Rydberg 2026-01-17 14:26:17 +0100
  • ac1ce381a2 Stop tracking CTest log Carl Niklas Rydberg 2026-01-17 14:11:40 +0100
  • 07ef551f56 Ignore CTest output Carl Niklas Rydberg 2026-01-17 14:10:24 +0100
  • 347d2e4dda Add filesystem-backed ASL index store Carl Niklas Rydberg 2026-01-17 14:08:41 +0100
  • 68371b1554 Add ASL core index codec and tests Carl Niklas Rydberg 2026-01-17 13:10:07 +0100
  • b7b4b2f195 Add ASL log encoding/decoding Carl Niklas Rydberg 2026-01-17 12:51:32 +0100
  • 0d810affb0 Add ASL index state API stubs Carl Niklas Rydberg 2026-01-17 12:45:13 +0100
  • a91ab91e39 Add indexed ASL store ops and tests Carl Niklas Rydberg 2026-01-17 12:44:33 +0100
  • 20f092606d Polish ASL index/log specs Carl Niklas Rydberg 2026-01-17 12:21:15 +0100
  • c595e2370a Clarify ASL index/log semantics Carl Niklas Rydberg 2026-01-17 11:46:57 +0100
  • 3886716799 Add core tier1 specs for ASL/TGK Carl Niklas Rydberg 2026-01-17 11:18:00 +0100
  • 0fc1fbd980 Something burgen-fels Carl Niklas Rydberg 2025-12-23 09:15:47 +0100
  • b7a0ee888d audit: document stack overview refinement Carl Niklas Rydberg 2025-12-22 12:56:38 +0100
  • 49fa2955cd docs: refine stack overview to repo stack Carl Niklas Rydberg 2025-12-22 12:54:51 +0100
  • d2806a5f33 audit: drop docgraph audit entry Carl Niklas Rydberg 2025-12-22 12:42:32 +0100
  • b3d776adb4 audit: kernel params bound and docgraph removal Carl Niklas Rydberg 2025-12-22 12:40:06 +0100
  • a932363ad0 pel: require params for pel.bytes.params and add test Carl Niklas Rydberg 2025-12-22 12:17:40 +0100
  • d0005e54c3 Fix TGK store conflict error mapping and add regression test Carl Niklas Rydberg 2025-12-22 11:50:00 +0100
  • 222fe2f84e tgk1-edge: accept unknown hash ids and add regression test Carl Niklas Rydberg 2025-12-22 11:42:41 +0100
  • 5b7d07e033 Fix trace DAG EncodedRef validation and test unknown hash ids Carl Niklas Rydberg 2025-12-22 11:24:43 +0100
  • a4932b1217 PEL/TRACE-DAG: wire exec_result_ref + node failure diagnostics Carl Niklas Rydberg 2025-12-22 11:16:23 +0100
  • 85b37e1701 Added an audit template and verification notes to AUDITS.md. Carl Niklas Rydberg 2025-12-22 09:30:15 +0100
  • b9de21df20 Added an Audit Plan section to AUDITS.md Carl Niklas Rydberg 2025-12-22 09:26:14 +0100
  • b00f2c8575 Enforce PEL1 result invariants and add regression test Carl Niklas Rydberg 2025-12-22 09:15:15 +0100
  • dd537f9eb9 Documented the audit in a new AUDITS.md at the repo root with scope, findings, resolutions, and test status Carl Niklas Rydberg 2025-12-22 09:13:07 +0100
  • f02be17d6c Patched overflow checks in the encoder and added regression tests. Carl Niklas Rydberg 2025-12-22 08:46:03 +0100
  • d301823c12 Added scheme-aware dispatch for in‑memory exec so non‑SchemeRef_DAG_1 refs are rejected, and exposed it via the CLI. Carl Niklas Rydberg 2025-12-22 08:34:40 +0100
  • 6dfcb2bfc6 Implemented descriptor-aware program binding checks so program interpretation now consults the descriptor’s program_type_tag and program_enc_profile before decoding or tagging artifacts. Carl Niklas Rydberg 2025-12-22 08:27:41 +0100
  • db3eb98b83 Added a concrete recognition path for TYPE_TAG_PEL_SCHEME_DESC_1 Artifacts by exposing canonical checks and wiring them into amduat-pel validate. Carl Niklas Rydberg 2025-12-22 08:19:39 +0100
  • f5e1ab8801 Add PEL DAG scheme descriptor codec and validation Carl Niklas Rydberg 2025-12-22 08:16:58 +0100
  • 4583b1cfd3 Support program artifacts in exec Carl Niklas Rydberg 2025-12-22 07:34:49 +0100
  • 5438b93efd Expose diagnostic messages in formatters Carl Niklas Rydberg 2025-12-22 07:27:30 +0100
  • ef3edc7762 Refine DAG structural diagnostics Carl Niklas Rydberg 2025-12-22 07:03:36 +0100
  • ef2fd955f1 Hide DAG exec entrypoints Carl Niklas Rydberg 2025-12-22 07:01:11 +0100
  • e838e2c977 Add deterministic diagnostics and OOM handling Carl Niklas Rydberg 2025-12-22 06:55:29 +0100
  • b891b588ee Demote PEL exec bytes helper Carl Niklas Rydberg 2025-12-22 06:31:53 +0100
  • 92edd06642 Fix PEL DAG params plumbing and surface IO Carl Niklas Rydberg 2025-12-22 06:25:52 +0100
  • 7c19c04dc4 Added an explicit OOM status for kernel ops and routed it as out‑of‑model Carl Niklas Rydberg 2025-12-22 00:41:18 +0100
  • 3333b577ff Implemented an OOM-aware decode path for PEL/PROGRAM-DAG and plumbed it through the core entrypoints so OOM is treated as out‑of‑model (returns false) while invalid bytes still map to INVALID_PROGRAM. Carl Niklas Rydberg 2025-12-22 00:36:10 +0100
  • 503ad05061 Adjusted PEL core execution to treat allocation failures as out‑of‑model (return false without a core result) and made amduat_pel_exec_program_bytes return deterministic ExecutionResultValue for invalid program bytes or missing inputs, as required by PEL/1‑CORE totality. Updates are in program_dag.c and run.c. Carl Niklas Rydberg 2025-12-22 00:31:31 +0100