test: prove missing ingest-by-state runtime contract #58

Open
nsaspy wants to merge 1 commit from rage/15-ingest-by-state-red-proof into master
Owner

Corrected RED oracle for #15 only.

Exact head 58b3fb93960e183034a9eedc9ce652564bf6fef3 uses Hackmode's public enqueue-starintel-json path to create canonical durable outbox state, then calls the intentionally not-yet-defined hackmode::investigation-view-outbox-ids runtime function. The double-colon avoids a package-export reader failure, forcing the test into the missing runtime contract.

Observed RED: monorepo and agent-framework-boundary passed; Common Lisp core reached Load Hackmode and run ASDF tests after all setup/dependency steps succeeded, then failed. No production files or dependency pins are changed on this head.

Clean RED is established; production remains in #169. Closing this proof-only PR without merge.

Corrected RED oracle for #15 only. Exact head `58b3fb93960e183034a9eedc9ce652564bf6fef3` uses Hackmode's public `enqueue-starintel-json` path to create canonical durable outbox state, then calls the intentionally not-yet-defined `hackmode::investigation-view-outbox-ids` runtime function. The double-colon avoids a package-export reader failure, forcing the test into the missing runtime contract. Observed RED: monorepo and agent-framework-boundary passed; Common Lisp core reached `Load Hackmode and run ASDF tests` after all setup/dependency steps succeeded, then failed. No production files or dependency pins are changed on this head. Clean RED is established; production remains in #169. Closing this proof-only PR without merge.
test: prove missing ingest-by-state runtime contract
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 2s
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 7s
core / common-lisp-core (pull_request) Failing after 1m56s
monorepo / hygiene (pull_request) Successful in 6m44s
58b3fb9396
Some checks failed
agent-pr-serialization / one-open-pr-per-agent-lane (pull_request_target) Failing after 2s
agent-framework-boundary / keep-agent-framework-out-of-product-tree (pull_request) Successful in 7s
core / common-lisp-core (pull_request) Failing after 1m56s
monorepo / hygiene (pull_request) Successful in 6m44s
This pull request has changes conflicting with the target branch.
  • source/hackmode-core/tests/investigation-views.lisp
View command line instructions

Manual merge helper

Use this merge commit message when completing the merge manually.

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin rage/15-ingest-by-state-red-proof:rage/15-ingest-by-state-red-proof
git switch rage/15-ingest-by-state-red-proof

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch master
git merge --no-ff rage/15-ingest-by-state-red-proof
git switch rage/15-ingest-by-state-red-proof
git rebase master
git switch master
git merge --ff-only rage/15-ingest-by-state-red-proof
git switch rage/15-ingest-by-state-red-proof
git rebase master
git switch master
git merge --no-ff rage/15-ingest-by-state-red-proof
git switch master
git merge --squash rage/15-ingest-by-state-red-proof
git switch master
git merge --ff-only rage/15-ingest-by-state-red-proof
git switch master
git merge rage/15-ingest-by-state-red-proof
git push origin master
Sign in to join this conversation.
No description provided.