Delivery Overview What was delivered, what was validated, and the CodeIntent baseline established with it.
Read-only baseline: CodeIntent 2026.06.r1 · client-controlled evidence · export-readyExport evidence package
Semantic map · what CodeIntent extracted from 2.10M LOC of source
Verified
Preserved
Allowed change
Review Boundary
Orphaned
Governed boundary
Codebase accounted for ⓘ
100 %
of all source artifacts — every one dispositioned
Source‑to‑target traceability ⓘ
98.6 %
of generated target code
Source‑derived equivalence coverage ⓘ
94.2 %
of source‑derived behaviors
Composition by status Click any group to open it in the Scope Ledger.
Verified · 1,176
Preserved · 72
Allowed Change · 17
Net‑New Intent · 23
Review Boundary · 4
Orphaned · 31
Scope Ledger Legacy artifact → intent unit → target artifact, with disposition and evidence.
Entry points, source artifacts, intent units, target artifacts, disposition, and evidence records.
Verified
1,176
Examples: accrual basis, Reg DD APY, CEEDAYS validation
Preserved
72
Examples: payment history lookup, NSF branch set
Allowed change
17
Examples: ledger adapter, service boundary normalization
Net-new
23
Examples: AccrualAudited event, observability model
Review Boundary
4
Examples: R10 routing, LD-002, rate copybook
Orphaned
31
Examples: AUDIT-TMP and retired extract programs
All
Verified
Preserved
Allowed Change
Net‑New
Review Boundary
Orphaned
Pivot
No grouping (artifact list)
By program / entry point
By business intent
By target service
By disposition
Source artifact Intent unit Target artifact Type Status Evidence Owner / review
Live equivalence check — CSUTLDTC date validation browser build of the deterministic verification engine · CardDemo‑derived CSUTLDTC semantics · not a live mainframe run · EQV-2401
Run equivalence check
Trace Explorer Source → CodeIntent semantic node → generated target.
Dormant Account Accrual Suppression
Pinned review traces · 6 of 1,292 bound traces in the CodeIntent baseline
Search 1,292 traces by source, target, rule, or evidence ID… Browse in Scope Ledger →
1,292 all traces
·
1,176 equivalence‑verified (42 regulatory‑cited)
72 structurally preserved
17 allowed change
23 net‑new
4 Review Boundary
·
31 orphaned (excluded — not traced)
Binding chain · the deterministic link from source to evidence
Source · COBOL ACCT-INTEREST.CBL
R‑CTRL-006
Description generated at baseline from CodeIntent; the evidence binding is deterministic.
Governance contract clause
Target · Java InterestAccrualService.java
EQV-2272 Deterministic equivalence
Ask Intent about this rule
Open Evidence Record
Challenge this Rule
Verification Equivalence, structural preservation, contract conformance, and generated evidence.
Evidence categories remain separate: equivalence, structural preservation, contract conformance, generated tests, and governed boundaries.
Equivalence records passed
1,176
Structural checks passed
72
Test artifacts generated
312
Equivalence Records
Deterministic source‑to‑target equivalence against the source‑traceable specification.
1,176 passed · 0 open at baseline
Structural Preservation
Branch‑preservation and data‑mapping checks — deterministic, narrower scope than full equivalence.
72 passed · 48 branch · 24 data‑map
Contract Conformance
Allowed changes and net‑new behavior validated against governance contract clauses.
40 clauses conformant
Generated Test Artifacts
Test cases produced from bound behaviors; for execution by the SI, the customer, or an integrated harness.
312 generated
Build / Compile Status
Target compiles clean against the standard output model toolchain.
Passing · JDK 21
Runtime Validation Hooks
Bound regions instrumented for advisory drift checks once the system runs.
96 services hooked
Export the 312 generated test artifacts into customer, SI, or partner testing workflows — via MCP or evidence bundle.
Export‑ready · integration per environmentExport test package Configure MCP
Evidence Rule / intent unit Validation type Result Scope Src ver Tgt ver Reviewer Last run
Governed Boundaries Every boundary the delivery could not silently absorb — surfaced, typed, owned, and dispositioned at baseline.
Boundaries are named, owned, and dispositioned at baseline.
Ask CodeIntent Evidence-backed query over the CodeIntent baseline.
MCP bridge: checking localhost…
Evidence Package What is representative vs production
Authority taxonomy carried on every surface
Source-Derived
Bound from existing source and verified by equivalence
1,248
Regulatory Text
Governed by cited regulation, owned by the contract layer
62
CodeIntent-inferred
Proposed by a model — held as unbound until confirmed, never silently passed
4
Net-New
Added in target with no source antecedent
23
Expert-Authored
Authored or confirmed by a named SME, with attribution
17
Data & environment
Baseline record
The baseline, source references, target references, and evidence records remain inside the customer-controlled environment unless exported.
100% source disposition. Every source element is transformed, traced, governed as a boundary, or explicitly excluded.