Record redundant test cut
This commit is contained in:
parent
f3360248fd
commit
fd25401827
6 changed files with 34 additions and 11 deletions
|
|
@ -1,7 +1,7 @@
|
|||
# Epiphany current algorithmic map
|
||||
|
||||
Updated: 2026-08-23
|
||||
Latest committed implementation cut: `b78ffb25` on `codex/epiphany-shakedown-live`
|
||||
Latest committed implementation cut: `f3360248` on `codex/epiphany-shakedown-live`
|
||||
Current worktree cut: executable/test authority subtraction; Ox17 remains paused
|
||||
|
||||
This document describes the live machine. Historical cuts, rejected paths, and
|
||||
|
|
@ -120,6 +120,13 @@ identical-call causal-ID tautology and a duplicate unknown-field check for an
|
|||
extinct generic patch. Exact family lifecycles and runtime-owned identity
|
||||
substitution remain the behavioral proofs.
|
||||
|
||||
Exact `f3360248` deletes three more duplicate implementation-spelling proofs:
|
||||
a cache-directory prefix assertion whose stability/separation cases remain, a
|
||||
Git argument-vector mirror whose actual source-cache recovery case remains, and
|
||||
a raw repeated-round predicate test whose guard-transition and terminal
|
||||
failed-worker cases remain. The retained tests cross the owning behavior; the
|
||||
deleted tests merely recited helpers.
|
||||
|
||||
Exact `104bf390` deletes two public-source tests that supplied no additional
|
||||
protection: one duplicated the canonical immutable-GitHub parser tests already
|
||||
owned by `epiphany-core`; the other was permanently ignored, network-dependent,
|
||||
|
|
|
|||
|
|
@ -224,7 +224,7 @@ Delete or demote:
|
|||
|
||||
Keep the five-day shakedown, Ox17 deployment, and Model Atlas operational Gate
|
||||
1 paused. Continue the source-subtraction and test-authority audit from exact
|
||||
`b78ffb25`. The current sequence has deleted the semantic-memory/workspace-coverage
|
||||
`f3360248`. The current sequence has deleted the semantic-memory/workspace-coverage
|
||||
projection system, its local daemon supervisor, and the surviving generic
|
||||
RepoModel profile, impossible lifecycle, producerless receipt/summary, and
|
||||
decorative scoring axes. Modeling consumes typed Body and keyed RepoModel state
|
||||
|
|
@ -245,9 +245,12 @@ verification and deletes Epiphany's private-custody stack. Exact `b78ffb25`
|
|||
then deletes the callerless Hands consequence recorder and command-description
|
||||
handshake after proving that they executed nothing. Exact receipt-chain
|
||||
admission remains; the coordinator reports `awaitingHandsExecutor` until a real
|
||||
actuator owns execution and observed consequences. The next test cut removes
|
||||
static display labels, pure helper spelling checks, and redundant cache-policy
|
||||
assertions only where stronger consequence tests already own the invariant.
|
||||
actuator owns execution and observed consequences. Exact `f3360248` deletes
|
||||
three redundant helper-spelling/cache-policy tests while retaining the actual
|
||||
source-cache recovery, cache-separation, tool-loop transition, and terminal
|
||||
failure proofs. Next collapse the generic public host-identity verifier into
|
||||
its sole Bifrost feedback-admission consumer if CultNet wire compatibility is
|
||||
exact.
|
||||
|
||||
Exact `f8412b69` closes the last known retention wound before that capstone:
|
||||
the packaged model runtime can reconstruct a decision by context ID from its
|
||||
|
|
|
|||
|
|
@ -2,7 +2,7 @@
|
|||
|
||||
Updated: 2026-08-23
|
||||
Branch: `codex/epiphany-shakedown-live`
|
||||
Latest committed implementation cut: `b78ffb25`
|
||||
Latest committed implementation cut: `f3360248`
|
||||
Current worktree: executable/test authority subtraction; Ox17 remains paused
|
||||
|
||||
## Orientation
|
||||
|
|
@ -44,6 +44,15 @@ authorize the next capstone or Gate 1.
|
|||
|
||||
## What just landed
|
||||
|
||||
Exact `f3360248` deletes three tests with no distinct behavioral claim and the
|
||||
single-use helper one of them existed to inspect: a release-cache filename
|
||||
prefix/determinism assertion already covered by cache stability and separation,
|
||||
a literal Git submodule argument-vector mirror, and a raw repeated-tool-round
|
||||
predicate test already covered by the retained guard-transition test. This is
|
||||
46 net deletions. The actual source-cache replacement recovery, target/toolchain
|
||||
cache separation, repeated-loop transition, and terminal failed-worker receipt
|
||||
tests all pass.
|
||||
|
||||
Exact `b78ffb25` deletes the counterfeit `epiphany-hands-action` consequence
|
||||
recorder, its release role, the coordinator's unconsumed `recordPassCommand`,
|
||||
and the recorder's main-only tests: 926 net deletions. The executable performed
|
||||
|
|
|
|||
Binary file not shown.
|
|
@ -61,7 +61,7 @@ current_status:
|
|||
runtime_registry_authority_cut: Exact 03140a47 deletes the 649-line epiphany-runtime-spine operator/debug CLI, its packaged release role, its callerless Hello/schema-catalog service facsimile, the 600-line hand-maintained mutation-contract mirror, and the source-shape test that guarded that mirror. CultCache exact fdbf3bf exposes its registered type identities, so runtime status and model preflight derive accepted documents from the same registration used to open the Mind store. Executable targets fall from 22 to 21 with zero duplicate source owners. Core checks without warnings and release construction passes 17/17. Editor actuation remains entirely provider-owned: Brokkr owns Unity through CultMesh/Eve and a future Rider daemon owns Rider.
|
||||
coordinator_status_cut: Exact 500125d5 deletes the unconsumed packaged epiphany-mvp-status executable. Its live projection and operator-sanitization functions move from a binary source textually included by the coordinator into one epiphany-core module. The dead CLI parser, default store, result-file writer, release role, and redundant release assertion are gone. Cargo has 20 executable targets and zero duplicate binary-source owners; the release-owned coordinator checks, the operator thought-sealing test passes, and release construction remains 17/17.
|
||||
persona_language_tribunal_cut: Exact 63939fa2 deletes Persona's keyword-based projector-output tribunal, its test-only no-transcript prompt wrapper, and two tests that blessed prompt phrases and forbidden words rather than a consequence. Projector and Persona outputs remain inert private cognition sealed into exact stage contexts. Only the Interpreter's closed typed effect enum can propose state or speech; its channel, cardinality, size, schema, and exact-context validation remain. The three-stage execution/replay, channel-escape refusal, substituted provider/model refusal, retained typed-effect validation, and OpenAI-runtime all-target checks pass.
|
||||
test_authority_cut: Exact bf2f39eb deletes a causal-ID test that compared identical calls and mislabeled the equality provenance independence, plus a duplicate unknown-field test for an already deleted generic patch field. Exact 104bf390 deletes the tool runtime's duplicate immutable-GitHub identity test and a permanently ignored live-network probe pinned to historical README prose. Exact keyed request identities remain exercised through family lifecycle and admission tests; strict ingress unknown-field refusal remains exercised by runtime-owned Body identity substitution; immutable GitHub parsing remains tested once in epiphany-core. Core, OpenAI-runtime, and tool-MCP all-target checks pass for their respective cuts.
|
||||
test_authority_cut: Exact bf2f39eb deletes a causal-ID test that compared identical calls and mislabeled the equality provenance independence, plus a duplicate unknown-field test for an already deleted generic patch field. Exact 104bf390 deletes the tool runtime's duplicate immutable-GitHub identity test and a permanently ignored live-network probe pinned to historical README prose. Exact f3360248 deletes a redundant release-cache prefix/determinism assertion, a Git submodule argument-vector mirror plus its single-use helper, and a raw repeated-round predicate test. Exact keyed request identities remain exercised through family lifecycle and admission tests; strict ingress unknown-field refusal remains exercised by runtime-owned Body identity substitution; immutable GitHub parsing remains tested once in epiphany-core; source-cache recovery, cache separation, tool-loop transition, and terminal failed-worker receipts remain proven. Focused owning-package tests pass for each cut.
|
||||
tool_runtime_status_cut: Exact 777dd1a5 deletes the callerless epiphany-tool-mcp-runtime smoke command, its fixed JSON self-description, parser branch, and self-affirming branding test. Exact 0bb6a883 removes the run summary's fixed adapter/schema catalogue and caller-supplied store echo; stdout now carries only intent ID, receipt ID, and terminal status. Signed daemon health owns liveness; typed invocation intents and exact receipts own tool execution. With one live command remaining, the one-variant CLI enum collapses into a direct run parser. The four retained release-owned tests pass and exercise typed execution, receipt persistence, Resident-state binding, and unbound refusal.
|
||||
repository_body_smoke_cut: Exact 013c3bf1 deletes the callerless epiphany-repository-body smoke command and its temporary-store self-test path. The shipped Body binary retains bootstrap, bind, observe, and status. Authenticated Body binding, exact projection, generation, Git worktree semantics, no repository mutation, and tamper refusal remain proven by 23 focused owner tests.
|
||||
model_runtime_smoke_cut: Exact ce90f911 deletes the callerless epiphany-model-runtime smoke route. It opened no provider transport; it wrote a synthetic model request, tool call, completed receipt, and smoke_no_network marker into a writable runtime store, then reported not-opened. Real model-turn, worker, follow-up, decision discovery, and decision audit commands remain. The release-owned model-runtime suite passes 12/12.
|
||||
|
|
@ -115,7 +115,7 @@ current_status:
|
|||
yggdrasil_epiphany_service_contract: idunn_source_change_owner_eve_and_local_typed_operator_surfaces_no_discord_control_plane
|
||||
resident_physiology: historical_c011_exact_465af24d_zero_zombie_proof_accepted_current_containers_exited_255
|
||||
unresolved_authority: Generic command, legacy lineage, caller-authored identity, behaviorless policy fields, global lifecycle latest state, timestamp election, Windows Task Scheduler authority, and their false proofs are gone. Semantic and workspace launch owners are separate over shared process mechanics. The remaining daemon supervisor still combines the service loop, aggregate signed-health publication, semantic reconciliation, and the large workspace recovery state machine. Continue decomposing only where ownership becomes smaller; do not create family frameworks or adapters. The false persisted cluster-topology bootstrap sentinel is gone; supervisor admission remains bound to exact runtime/store identity, packaged release, brake, service policy, process identity, and signed health. The current gamecult-ops Epiphany unit has retired agent-store and daemon-id argv that its owning lane must fix before deployment. Fresh exact-package Ox17 and Model Atlas Gate 1 remain paused until subtraction closes. Bifrost remains Persona and governed external-consequence transport. Historical c011 and partial Gate roots stay untouched/read-only.
|
||||
next_action: Continue the source/test-authority audit after exact b78ffb25. Remove static helper-spelling and redundant cache-policy tests only where stronger consequence tests already own the invariant, then collapse the generic public host-identity verifier into its sole Bifrost feedback-admission consumer if CultNet wire compatibility is exact. Retain only code and tests that reach decision admission, validation, authentication, keyed CAS conflict/replay, exact projection, provider lowering, or an externally visible consequence. Preserve sealed decision audit, direct typed Body-to-Modeling flow, provider-owned CultMesh/Eve documents, keyed Persona state, exact current work, immutable runtime identity, single-package binary ownership, family admission owners, typed Persona effect validation, Bifrost public-anchor verification, exact Hands receipt-chain admission, and Atlas library authority without speculative daemons. Epiphany owns no private Bifrost key custody, repository actuator yet, local daemon supervisor, standalone schema service, static status CLI, manual smoke command, counterfeit provider physiology, duplicate completion catalogue, editor bridge, keyword tribunal over natural language, tautological test, duplicate parser proof, ignored live-network anecdote, callerless identity setup executable, competing Persona feedback ingress, unadmitted Atlas process, frontier proposal CLI, or consequence recorder that did not execute consequences. Do not run a local full-workspace compile, package, deployment, or Ox root.
|
||||
next_action: Continue the source/test-authority audit after exact f3360248. Collapse the generic public host-identity verifier into its sole Bifrost feedback-admission consumer if CultNet wire compatibility is exact; remove inert anchor fields only if the external contract does not require them. Retain only code and tests that reach decision admission, validation, authentication, keyed CAS conflict/replay, exact projection, provider lowering, or an externally visible consequence. Preserve sealed decision audit, direct typed Body-to-Modeling flow, provider-owned CultMesh/Eve documents, keyed Persona state, exact current work, immutable runtime identity, single-package binary ownership, family admission owners, typed Persona effect validation, Bifrost public-anchor verification, exact Hands receipt-chain admission, and Atlas library authority without speculative daemons. Epiphany owns no private Bifrost key custody, repository actuator yet, local daemon supervisor, standalone schema service, static status CLI, manual smoke command, counterfeit provider physiology, duplicate completion catalogue, editor bridge, keyword tribunal over natural language, tautological test, duplicate parser proof, ignored live-network anecdote, callerless identity setup executable, competing Persona feedback ingress, unadmitted Atlas process, frontier proposal CLI, or consequence recorder that did not execute consequences. Do not run a local full-workspace compile, package, deployment, or Ox root.
|
||||
|
||||
runtime_event_cut: Exact 27fe11ae deletes persisted generic runtime events, their registry and CultNet contract, CLI/status surfaces, coordinator and lifecycle shadows, archival dependencies, and the obsolete legacy coordinator repair path. Exact d66baa27, 058751fb, and 573ddc8b first removed provider-event duplication, the arbitrary event writer, and paired lifecycle events. Runtime session/job state plus exact typed results, failures, coordinator run receipts, and coordinator death recoveries solely own terminal facts. Events cannot route work, authenticate terminality, or resurrect authority because no runtime-event document remains.
|
||||
|
||||
|
|
|
|||
|
|
@ -80,11 +80,15 @@ and janitors may reduce the symptom but cannot substitute for deleting code.
|
|||
command-description handshake, and main-only tests. It executed nothing;
|
||||
the coordinator now reports `awaitingHandsExecutor`, while exact typed
|
||||
receipt-chain admission remains for a future real actuator.
|
||||
11. Next: remove tests that inspect spelling, duplicate constructors, or
|
||||
exercise one-line helpers without reaching a consequence. Preserve exact
|
||||
11. Done: delete three redundant helper-spelling/cache-policy tests and the
|
||||
single-use Git argument helper while retaining source-cache recovery,
|
||||
cache-separation, tool-loop transition, and terminal-failure proofs.
|
||||
12. Next: collapse the generic public host-identity verifier into its sole
|
||||
Bifrost feedback-admission consumer if CultNet wire compatibility is exact.
|
||||
Preserve exact
|
||||
CAS, conflict, substitution, concurrency, lifecycle, and re-entry proofs.
|
||||
The semantic-memory/workspace-coverage projection stack and its local daemon
|
||||
supervisor were deleted at `856648de` after proving that no sealed reasoning
|
||||
projection consumed them.
|
||||
12. Run focused tests after each cut. Only after source subtraction stabilizes
|
||||
13. Run focused tests after each cut. Only after source subtraction stabilizes
|
||||
should Idunn's build scratch contract be reconsidered.
|
||||
|
|
|
|||
Reference in a new issue