core-labs/core
1
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions
1790 commits 175 branches 0 tags 14 MiB
Commit graph

1790 commits

This branch
This branch
All branches
Author SHA1 Message Date
Shay
1d9e40602c feat(kernel): implement missing-role candidate operator shell 
Implements ADR-0231's inert missing_role_candidate.v1 operator shell for
direction_unbound residuals under unary_delta_transition. Adds deterministic
operator-set identity, candidate reconstruction with split digests,
CandidateAttempt-compatible output, typed refusals, and isolation tests.
 2026-06-22 19:27:41 -07:00
Shay
5bb7c62006
Merge pull request #875 from AssetOverflow/docs/first-candidate-operator-boundary 
docs(kernel): define first candidate-operator boundary
 2026-06-22 19:22:14 -07:00
Shay
7fa49c6099 docs(kernel): define first candidate-operator boundary 2026-06-22 19:11:05 -07:00
Shay
7da4b170a0
Merge pull request #874 from AssetOverflow/feat/sealed-practice-trace-shell 
feat(kernel): implement inert SealedPracticeTrace shell
 2026-06-22 18:54:49 -07:00
Shay
520e2c8237 fix(kernel): validate sealed trace replay record ids 2026-06-22 18:44:59 -07:00
Shay
d4379a6ece
Merge branch 'main' into feat/sealed-practice-trace-shell 2026-06-22 18:33:26 -07:00
Shay
a1de11e0e3 feat(kernel): implement inert SealedPracticeTrace shell 
Adds immutable practice-trace input, sealed-trace, and trace-refusal
records with deterministic identity-chain validation after the Contract/
Proof Replay Adapter, as authorized by ADR-0230.
 2026-06-22 18:20:52 -07:00
Shay
9f5871cf00
Merge pull request #873 from AssetOverflow/docs/sealed-practice-trace-boundary 
docs(kernel): define sealed practice trace boundary
 2026-06-22 17:31:04 -07:00
Shay
60a118c1a4 docs(kernel): define sealed practice trace boundary 
Adds ADR-0230 defining the immutable SealedPracticeTrace evidence
envelope after the Contract/Proof Replay Adapter in the residual-gated
practice loop. Docs-only; authorizes the inert shell implementation PR.
 2026-06-22 17:18:09 -07:00
Shay
e3defda7e0
Merge pull request #872 from AssetOverflow/feat/replay-adapter-shell 
feat(kernel): implement diagnostic replay adapter shell
 2026-06-22 15:42:49 -07:00
Shay
feb36cfdbb feat(kernel): implement diagnostic replay adapter shell 
Adds the ADR-0229-authorized Contract/Proof Replay Adapter diagnostic
boundary after GeometricSearchRun: deterministic input/result/refusal
records, candidate_organ/contract_replay_target binding via static
allowlist, strict run/attempt/candidate identity validation, ADR-aligned
replay_disposition on refusals, vacuous-proof closure only with explicit
schema declaration, and injection-based disposition classification
without candidate generation, search execution, repair, answer
production, or runtime mutation.
 2026-06-22 15:18:22 -07:00
Shay
cc0e196106
Merge pull request #871 from AssetOverflow/docs/replay-adapter-boundary 
docs(kernel): define contract/proof replay adapter boundary
 2026-06-22 14:52:42 -07:00
Shay
6aa78f7039 docs(kernel): define contract/proof replay adapter boundary 2026-06-22 14:43:58 -07:00
Shay
5fcb21add2
Merge pull request #870 from AssetOverflow/feat/geometric-search-run-shell 
feat(kernel): implement inert GeometricSearchRun trace shell
 2026-06-22 14:19:24 -07:00
Shay
93ba988c1e feat(kernel): implement inert GeometricSearchRun trace shell 2026-06-22 14:09:52 -07:00
Shay
6aab3db7aa
Merge pull request #869 from AssetOverflow/docs/geometric-search-run-envelope 
docs(kernel): define inert GeometricSearchRun envelope
 2026-06-22 13:50:13 -07:00
Shay
91c290a11a docs(kernel): define inert GeometricSearchRun envelope 2026-06-22 13:39:13 -07:00
Shay
f19b5a044e
Merge pull request #868 from AssetOverflow/feat/compute-budget-decision 
feat(kernel): implement diagnostic-only ComputeBudgetDecision
 2026-06-22 13:23:45 -07:00
Shay
fcac436f7d feat(kernel): implement diagnostic-only ComputeBudgetDecision 2026-06-22 13:13:49 -07:00
Shay
7e4ba10c7a
docs(kernel): ratify diagnostic ComputeBudgetPolicy envelope 
Ratifies ADR-0227 and authorizes exactly one next implementation PR: diagnostic-only ComputeBudgetDecision.

No ComputeBudgetDecision implementation, GeometricSearchRun, search execution, candidate generation, repair, Workbench, runtime/serving behavior, teaching/proposal/report/eval mutation, answer production, or unreviewed artifact mutation is authorized.
 2026-06-22 12:46:25 -07:00
Shay
f3dad63907
Merge pull request #866 from AssetOverflow/docs/compute-budget-policy-envelope 
docs(kernel): define diagnostic ComputeBudgetPolicy envelope
 2026-06-22 12:38:05 -07:00
Shay
94c474aee7 docs(kernel): define diagnostic ComputeBudgetPolicy envelope 2026-06-22 11:58:22 -07:00
Shay
7b2456d402
feat(kernel): implement diagnostic-only SearchGateDecision 
Implements a diagnostic-only SearchGateDecision adapter over ContractResidual records.

Preserves the authority boundary:
ContractAssessment -> ContractResidual -> SearchGateDecision.

SearchGateDecision is not proof, repair, budget, search, serving, candidate generation, or mutation authority.

Validation reported on head 1d68292c7f:
- tests/test_search_gate.py: 23 passed
- tests/test_contract_residuals.py: 75 passed
- adjacent contract/proposal tests: 48 passed
- ruff: passed
- compileall: passed
- smoke: 108 passed
- git diff --check: clean
 2026-06-22 11:36:05 -07:00
Shay
8fc5c46cc2
Merge pull request #864 from AssetOverflow/docs/ratify-residual-gated-practice-loop-v1 
docs(kernel): ratify Residual-Gated Practice Loop v1
 2026-06-22 10:41:47 -07:00
Shay
66a382cdbf docs(kernel): ratify ADR-0226 2026-06-22 10:38:29 -07:00
Shay
fe59809c69
docs(kernel): define Residual-Gated Practice Loop v1 2026-06-22 10:27:12 -07:00
Shay
c66ef3ee26
Merge pull request #862 from AssetOverflow/codex/feat/kernel-contract-residual-projection 
feat(kernel): implement diagnostic-only ContractResidual projection
 2026-06-22 08:22:10 -07:00
Shay
8b0edb6915 test(kernel): cover ContractResidual projection 2026-06-22 08:07:27 -07:00
Shay
ecf7d2794a feat(kernel): add ContractResidual projection 2026-06-22 08:06:32 -07:00
Shay
ae37845b92
Merge pull request #861 from AssetOverflow/docs/ratify-adr-0225-contract-residual-read-model 
docs(kernel): ratify ADR-0225 ContractResidual read-model
 2026-06-22 07:38:42 -07:00
Shay
5c94a8337d docs(kernel): ratify ADR-0225 ContractResidual read-model 2026-06-22 07:26:30 -07:00
Shay
8e35c5ecac
Merge pull request #860 from AssetOverflow/docs/kernel-contract-residual-read-model 
docs(kernel): define scoped ContractResidual read-model
 2026-06-22 07:08:06 -07:00
Shay
7d5ba55bd8 docs(kernel): polish ADR-0225 terminology 2026-06-22 07:07:38 -07:00
Shay
f8d641e80f docs(kernel): define scoped ContractResidual read-model 2026-06-21 22:42:28 -07:00
Shay
aeeb13934e
Merge pull request #859 from AssetOverflow/fix/kernel-unary-delta-conformance-alignment 
fix(kernel): align unary-delta implementation with conformance decision
 2026-06-21 22:16:33 -07:00
Shay
59a919e347 fix(kernel): complete unary-delta conformance alignment 2026-06-21 22:07:12 -07:00
Shay
61964c5cd4 fix(kernel): align unary-delta implementation with conformance decision 2026-06-21 20:19:53 -07:00
Shay
d336ed6a38
Merge pull request #858 from AssetOverflow/docs/unary-delta-accept-option-b 2026-06-21 07:51:09 -07:00
Shay
af5bd9508d docs(kernel): accept unary-delta conformance Option B 2026-06-21 07:36:30 -07:00
Shay
b9ef9b5c6c chore: remove accidental noop file 2026-06-21 07:34:08 -07:00
Shay
85ca7ae6ca noop 2026-06-21 07:33:47 -07:00
Shay
29b0bc571a
Merge pull request #857 from AssetOverflow/docs/kernel-unary-delta-conformance-decision 2026-06-21 07:30:10 -07:00
Shay
92da72fb6c docs(kernel): record post-856 unary-delta conformance decision 2026-06-21 07:20:52 -07:00
Shay
9fad9f3c48
Merge pull request #856 from AssetOverflow/test/kernel-unary-delta-isolation-hardening 2026-06-21 06:46:57 -07:00
Shay
032c05f806 test(kernel): harden unary-delta isolation after proposal seam 2026-06-21 06:35:48 -07:00
Shay
a5281df562
Merge pull request #855 from AssetOverflow/feat/kernel-unary-delta-proposal-seam 
feat(kernel): introduce diagnostic unary-delta proposal seam
 2026-06-21 05:57:58 -07:00
Shay
0f6c51d0d4 test(kernel): pin missing-object unary-delta confuser 2026-06-21 05:48:11 -07:00
Shay
b6bde12e1e feat(kernel): introduce diagnostic unary-delta proposal seam 2026-06-21 05:39:38 -07:00
Shay
d5543e425a
docs(kernel): authorize unary state-change delta slice (#854) 2026-06-20 22:19:35 -07:00
Shay
ca83d3846c
fix(kernel): harden quantity-entity proposal seam (#853) 2026-06-20 21:49:26 -07:00