re-agent

heaven-hm/re-agent

0 Fork 0

mirror of https://github.com/heaven-hm/re-agent.git synced 2026-11-09 02:09:39 -10:00

Commit Graph

Select branches

Hide Pull Requests

codex/fix-checkpoint-app-graph

codex/reconstruction-scheduler-review-fixes

develop

docs/legacy-maintenance-professional-restructure

feat/autonomous-reconstruction

feat/behavioral-checkpoint-v2

feat/behavioral-evidence-graph-integration

feat/embed-gtlibcpp-cheat-agent

feat/re-agent-legacy-maintenance

feat/rea-engine-evidence-audit-20261014

fix/cheat-agent-gtlibcpp-pin

fix/differential-observer-cancellation

fix/differential-parent-abort-race

fix/gtlibcpp-cheatagent-ci-and-license-boundaries

fix/maintenance-catalog-validation-20261015

fix/reconstruction-scheduler-retry-addresses

main

test/memory-lifetime-2048-bound

#20

#22

#23

#24

#29

#30

#31

#32

#33

#34

#35

#36

#37

#38

#40

#41

#42

#43

#44

#45

#46

engine-preview-2026-10-13

rea-0.2.0

rea-0.2.1

rea-agents-0.3.0

rea-agents-0.4.0

rea-agents-0.5.0

rea-agents-1.0.0

rea-agents-1.1.0

rea-agents-1.2.0

rea-agents-1.3.0

rea-agents-1.4.0

rea-agents-1.5.0

rea-agents-1.6.0

rea-agents-1.7.0

rea-agents-2.0.0

rea-agents-2.1.0

rea-agents-2.2.0

rea-agents-2.3.0

rea-agents-2.4.0

rea-agents-2.5.0

rea-agents-2.5.1

rea-agents-2.6.0

rea-agents-2.7.0

rea-agents-3.0.0

rea-agents-3.1.0

rea-agents-3.2.0

rea-agents-3.2.1

rea-agents-4.0.0

rea-agents-4.0.1

rea-agents-4.1.0

rea-agents-5.0.0

rea-agents-6.0.0

rea-agents-6.1.0

rea-agents-6.2.0

rea-agents-6.3.0

rea-agents-6.4.0

a84c61e8ba fix(autonomy): retain application graph facts in checkpoints develop Haseeb Heaven 2026-10-16 04:39:46 +05:30
6fef7cfd54 fix(autonomy): bind app graph evidence to validated artifacts codex/fix-checkpoint-app-graph Haseeb Mir 2026-10-15 23:00:40 +00:00
5b21364f71 test(autonomy): enforce related artifact digest limit Heaven-HM 2026-10-16 04:24:02 +05:30
a16c1028f6 fix(autonomy): cap related application artifact digests Heaven-HM 2026-10-16 04:23:46 +05:30
cac06f5295 perf(investigation): bound application digest lookup cost Heaven-HM 2026-10-16 04:23:44 +05:30
f301ceee71 docs(autonomy): clarify checkpoint evidence closure Haseeb Mir 2026-10-15 22:50:44 +00:00
9b4696a963 fix(autonomy): bind application graphs to declared target scope Haseeb Mir 2026-10-15 22:44:55 +00:00
b6b35e2d6b fix: normalize reconstruction retry addresses (#46) Haseeb HeavenandHaseeb Mir 2026-10-16 03:59:25 +05:30
f1c7ab3ff0 fix: normalize reconstruction retry addresses fix/reconstruction-scheduler-retry-addresses Haseeb Mir 2026-10-15 20:18:48 +00:00
fa4bf5ad93 fix: normalize reconstruction retry addresses codex/reconstruction-scheduler-review-fixes Haseeb Mir 2026-10-15 20:18:48 +00:00
84d863bd24 fix(graph): avoid failing checkpoint when app graph source evidence is absent Heaven-HM 2026-10-16 01:37:20 +05:30
8663802b1c fix(graph): include Evidence identity and validation details in checkpoint errors Heaven-HM 2026-10-16 01:35:51 +05:30
2ec0810550 fix: make reconstruction scheduling evidence-safe (#45) Haseeb HeavenandHaseeb Mir 2026-10-16 01:34:54 +05:30
4e302fbada fix: make reconstruction scheduling evidence-safe Haseeb Mir 2026-10-15 18:09:23 +00:00
6bdf7374a4 fix(autonomy): upgrade legacy application graph checkpoints Haseeb Mir 2026-10-15 18:08:49 +00:00
6e70c75fab fix(autonomy): retain application graph facts in checkpoints Haseeb Mir 2026-10-15 18:04:48 +00:00
e86431b675 Merge pull request #43 from heaven-hm/feat/behavioral-checkpoint-v2 Haseeb Heaven 2026-10-15 23:25:32 +05:30
966cbd0516 fix(integration): preserve graph v1 compatibility on current develop feat/behavioral-evidence-graph-integration feat/behavioral-checkpoint-v2 Haseeb Mir 2026-10-15 17:43:29 +00:00
f7999a2229 fix: preserve behavioral provenance and bound investigation responses Haseeb Mir 2026-10-15 17:32:55 +00:00
567c1c0d17 fix(verify): interrupt stalled differential observations on parent abort (#42) Heaven-HM 2026-10-15 23:01:09 +05:30
585bdb73d9 test(verify): external abort interrupts stalled observer without timeout fix/differential-parent-abort-race Heaven-HM 2026-10-15 22:03:09 +05:30
55a05843a3 fix(verify): interrupt observer wait on external abort even without timeout Heaven-HM 2026-10-15 22:02:48 +05:30
2677f13104 feat(provider): add Binary Ninja MCP server integration and doctor checks (#41) Heaven-HM 2026-10-15 21:34:01 +05:30
b6bec512ee fix(verify): cancel and reap active differential observers on timeout (#39) (#40) Heaven-HM 2026-10-15 20:45:46 +05:30
0f08b11d75 Add E2E browser tests and OpenQodex reviews (#37) fix/differential-observer-cancellation
Haseeb Heaven Haseeb Mir Heaven-HM
2026-10-15 20:31:41 +05:30
249383a842 feat: add Evidence-backed reconstruction scheduling (#36) Haseeb HeavenandHaseeb Mir 2026-10-15 20:31:17 +05:30
2cea28730e test(memory): cover max live intervals and overlapping allocation rejection (#38) Heaven-HM 2026-10-15 20:31:14 +05:30
a0d58ca2a0 test(memory): cover max live intervals and overlapping allocation rejection test/memory-lifetime-2048-bound Heaven-HM 2026-10-15 20:29:40 +05:30
5a7e5caeda feat(proof): bitvector SMT obligation and solver outcome foundation (#32) Haseeb HeavenandHeaven-HM 2026-10-15 20:29:40 +05:30
0c46290bb1 feat(verify): bounded differential counterexample minimizer (#31) Haseeb HeavenandHeaven-HM 2026-10-15 20:29:15 +05:30
fc45b3baae feat(memory): bounded offline allocation lifecycle reconstruction (#30) Haseeb HeavenandHeaven-HM 2026-10-15 20:28:32 +05:30
0305fcec77 feat(reconstruction): provenance-linked behavioral graph foundation (#29) Haseeb HeavenandHeaven-HM 2026-10-15 20:27:45 +05:30
bcacd8b3ba fix: bound behavioral graph coverage reasons Haseeb Mir 2026-10-15 12:55:32 +00:00
7ba21b1a37 ci(native): validate GTLibCpp → Cheat Agent integration and document redistribution constraints (#34) Haseeb Heaven 2026-10-15 18:05:47 +05:30
8dfd6c8fce chore: pin GTLibCpp to validated upstream merge fix/gtlibcpp-cheatagent-ci-and-license-boundaries Haseeb Heaven 2026-10-15 18:03:32 +05:30
f0c741c16c build: pin Cheat Agent GTLibCpp fallback to merged upstream fix Haseeb Heaven 2026-10-15 18:03:27 +05:30
9481db0734 build(native): align Cheat Agent GTLibCpp fallback with tested gitlink Haseeb Heaven 2026-10-15 18:02:43 +05:30
eaa6d858da test(native): validate corrected GTLibCpp test harness via integration matrix Haseeb Heaven 2026-10-15 18:02:18 +05:30
dade7eac4c chore(native): advance GTLibCpp submodule to upstream develop Haseeb Heaven 2026-10-15 18:00:49 +05:30
2eb19a8279 build(native): update GTLibCpp fallback pin to validated develop commit Haseeb Heaven 2026-10-15 18:00:33 +05:30
1982940519 docs(audit): record behavioral graph validation Haseeb Mir 2026-10-15 12:28:18 +00:00
dfb100ac70 feat(reconstruction): persist behavioral evidence graph Haseeb Mir 2026-10-15 12:26:19 +00:00
604d84f67c docs: clarify existing native integration and noncommercial licensing boundary Haseeb Heaven 2026-10-15 17:51:17 +05:30
0b0fb28bf7 ci(native): test pinned GTLibCpp library in addition to Cheat Agent integration Haseeb Heaven 2026-10-15 17:50:46 +05:30
faa9c7b0b1 docs: reposition RE-Agent around serious legacy maintenance and verifiable porting (#33) Haseeb Heaven 2026-10-15 17:15:25 +05:30
d905e04aea test(evidence): detect false PASS and unsupported comparison semantics docs/legacy-maintenance-professional-restructure Haseeb Heaven 2026-10-15 16:50:35 +05:30
1e3dc6ab31 fix(evidence): recompute exact PASS outcomes and reject symlink ancestor traversal Haseeb Heaven 2026-10-15 16:50:21 +05:30
069a5b8c97 docs: scope GPL legacy music player as unverified real application target Haseeb Heaven 2026-10-15 16:43:57 +05:30
3615a42771 ci: verify real case-study evidence contracts Haseeb Heaven 2026-10-15 16:43:20 +05:30
a021b48005 test(evidence): verify manifest binding, captures and malformed submissions Haseeb Heaven 2026-10-15 16:43:05 +05:30
ec863142fb test(evidence): add run-bound case study validator Haseeb Heaven 2026-10-15 16:42:41 +05:30
03c33f7548 placeholder Haseeb Heaven 2026-10-15 16:42:09 +05:30
6fdaaeb8ad docs: link case-study standard and stable repository evidence Haseeb Heaven 2026-10-15 16:35:08 +05:30
baddb1e32a docs: define professional legacy case study evidence standard Haseeb Heaven 2026-10-15 16:35:04 +05:30
7f5a2a953d docs: reframe docs/index.md around verifiable legacy preservation Haseeb Heaven 2026-10-15 16:34:34 +05:30
1cb44d56f1 docs: reframe README.md around verifiable legacy preservation Haseeb Heaven 2026-10-15 16:34:31 +05:30
213bf08ad8 fix(identity): maintain valid JSON after removing obsolete CLI alias Heaven-HM 2026-10-15 16:25:56 +05:30
759fd61b1b fix(identity): remove obsolete rea-engine CLI alias Heaven-HM 2026-10-15 16:25:34 +05:30
368f270cbc fix(identity): use re-agent metadata on main main Heaven-HM 2026-10-15 16:24:58 +05:30
a0a02b2500 fix(identity): use re-agent metadata on main Heaven-HM 2026-10-15 16:24:53 +05:30
7a86eb53e0 fix(identity): use re-agent metadata on main Heaven-HM 2026-10-15 16:24:45 +05:30
7101a6988d docs: remove false rea-engine rename claim and correct repository identity Heaven-HM 2026-10-15 16:24:29 +05:30
ebb8ffdfa6 docs: remove false rea-engine rename claim and correct repository identity Heaven-HM 2026-10-15 16:24:25 +05:30
88d8dcb68f Merge pull request #24 from heaven-hm/ci/post-merge-skills-validation Haseeb Heaven 2026-10-15 16:21:25 +05:30
48613ba270 Merge remote-tracking branch 'origin/develop' into develop heaven-hm 2026-10-15 16:19:28 +05:30
7524d4aafa ci: target real legacy maintenance regression test without empty-test success Heaven-HM 2026-10-15 16:18:54 +05:30
5cc3d08909 Merge branch 'main' into develop heaven-hm 2026-10-15 16:18:49 +05:30
1bc4e2c3d2 ci: validate bundled maintenance skill changes with real build and typecheck Heaven-HM 2026-10-15 16:18:36 +05:30
2192a9af42 fix(maintenance): ship missing bundled skills and enforce catalog contract (#23) Haseeb Heaven 2026-10-15 16:17:06 +05:30
53c2b4d92a feat(benchmarks): record negative-control verification for plink replica heaven-hm 2026-10-15 16:16:27 +05:30
ae9745cbb9 test(maintenance): enforce nine bundled skills and all stage coverage fix/maintenance-catalog-validation-20261015 Haseeb Heaven 2026-10-15 16:14:18 +05:30
429c738009 feat(maintenance): add legacy-cross-platform-port bundled skill Haseeb Heaven 2026-10-15 16:14:05 +05:30
8f028b87c1 feat(maintenance): add legacy-cross-platform-port bundled skill Haseeb Heaven 2026-10-15 16:14:03 +05:30
b01a465e44 feat(maintenance): add legacy-bug-repair bundled skill Haseeb Heaven 2026-10-15 16:14:01 +05:30
b47fa89b03 feat(maintenance): add legacy-bug-repair bundled skill Haseeb Heaven 2026-10-15 16:13:58 +05:30
c5e9a34e3d feat(maintenance): add legacy-rights-provenance bundled skill Haseeb Heaven 2026-10-15 16:13:56 +05:30
ff6ca08977 feat(maintenance): add legacy-rights-provenance bundled skill Haseeb Heaven 2026-10-15 16:13:54 +05:30
bb1f1602f4 Merge remote-tracking branch 'origin/develop' into develop heaven-hm 2026-10-15 16:09:44 +05:30
9a779515c4 feat(integrations): embed pinned GTLibCpp beside Cheat Agent with native CI (#22) Heaven-HM 2026-10-15 16:08:59 +05:30
d7798e91f1 Merge branch 'main' into develop heaven-hm 2026-10-15 16:08:50 +05:30
25237bf8da feat(scripts): compare Ghidra and radare2 function inventories heaven-hm 2026-10-15 16:06:56 +05:30
0e5c1d9480 ci: initialize only GTLibCpp; avoid incompatible unrelated Windows submodule paths feat/embed-gtlibcpp-cheat-agent Heaven-HM 2026-10-15 16:07:13 +05:30
aa8770172d docs: surface embedded Cheat Agent and GTLibCpp in README Heaven-HM 2026-10-15 16:05:44 +05:30
2f03773e44 docs: explain embedded Cheat Agent and pinned GTLibCpp build, licensing and limits Heaven-HM 2026-10-15 16:05:40 +05:30
fd09b81328 ci: initialize GTLibCpp submodule for vendored Cheat Agent build Heaven-HM 2026-10-15 16:05:08 +05:30
022c159c6a build: embed GTLibCpp as pinned git submodule alongside Cheat Agent Heaven-HM 2026-10-15 16:04:41 +05:30
393fcd0ddf build: register pinned GTLibCpp integration submodule Heaven-HM 2026-10-15 16:04:26 +05:30
b1f6f44647 fix(integration): align vendored Cheat Agent GTLibCpp build with verified revision (#20) Heaven-HM 2026-10-15 15:53:49 +05:30
759abfd9c6 ci: pass supported CTest -C Release option for native matrix fix/cheat-agent-gtlibcpp-pin Heaven-HM 2026-10-15 15:51:32 +05:30
8ab7cb3c8c Merge branch 'feat/rea-engine-evidence-audit-20261014' into HEAD heaven-hm 2026-10-15 15:44:20 +05:30
9e05211ec4 fix(vendor): sync Project IGI Toolhelp API compilation fix Heaven-HM 2026-10-15 15:43:01 +05:30
97b9ccaee8 ci: test vendored Cheat Agent native GTLibCpp ON/OFF and Windows IGI build Heaven-HM 2026-10-15 15:41:58 +05:30
579eb09941 Merge branch 'feat/re-agent-legacy-maintenance' into HEAD heaven-hm 2026-10-15 15:41:57 +05:30
1dac05047d Merge branch 'feat/autonomous-reconstruction' into HEAD heaven-hm 2026-10-15 15:40:59 +05:30
21ea159b9e Rename repository references from 'rea-engine' to 're-agent' Heaven-HM 2026-10-15 15:39:07 +05:30
2c16334e8d fix(integration): pin working GTLibCpp and honor opt-out build Heaven-HM 2026-10-15 15:38:22 +05:30
cfa5aa0ebd Add 'integrations/cheat-agent/' from commit '8b72aca869e26c9445698c14ff3e9505a9ab2393' heaven-hm 2026-10-15 15:27:10 +05:30
a157307676 docs(readme): add RE-Agent mark referenced by product header heaven-hm 2026-10-15 15:25:20 +05:30
13c51dcee4 docs(readme): adopt RE-Agent product identity header heaven-hm 2026-10-15 15:24:28 +05:30
8b72aca869 feat(backend): integrate GTLibCpp adapter and policy authorization (#12) Heaven-HMandHaseeb Mir 2026-10-15 15:18:52 +05:30

1 2 3 4 5 ...