COSMOGENESIS

READ

One result, one change and one record.

This page exists so that a reader can check a reading against its source, which makes it the place where a claim on this site can be tested. One reported figure is followed to the code that produced it, with each step cited by file and line, and the record that carries those citations is opened line by line.

Follow one reported result back to the source that establishes it, then see what one proposed change can reach.

Written for the person who has to establish what a system really does before anything is built on top of it.

Change ticketCHG-0142 month_end_total Synthetic Theory fixture. No customer data.

READ

How was this result produced?

The selected result follows one checked route to the source expression that establishes it.

Reported resultmonth_end_total
Report logic03_report.sql
Normalisation02_normalise.sql
Checked expressionraw_value / 100.0
Source value01_read.raw_value

The supplied source is the starting point for this reading.

Cosmogenesis resolves the selected route across the supplied logic.

The reading covers the source supplied and the access granted.

For this checked specimen, the selected result resolves to one source expression.

The supplied source ends at the external rate lookup, so the record refuses the line that calls it (04_boundary.bat:3) and names it as the last step read.

CHANGE

What would the change affect?

The same route is compared before and after the proposed edit. The changed relationship is isolated before reach is calculated.

Beforeraw_value / 10.0
Afterraw_value / 100.0

1 relationship changed · raw value → normalised valuesource → affected outputs

Affected

  • month_end_total
  • management_report

Unaffected

  • source_extract

Structural reach shows where the changed relationship can travel. Production values and runtime behaviour stay with the systems that run them.

EVIDENCE

What can another person inspect?

The route, the change and how far the supplied source goes are brought together in a single source-linked record, which can be regenerated when its inputs change.

Evidence record

A stable record another person can follow.

Identity
CHG-0142 · month_end_total
Scope
Checked synthetic cross-technology specimen · 8 source artefacts
Checked route
03_report.sql:4-5 ← 02_normalise.sql:4-5
Selected relationship
01_read.raw_value -> 02_normalise.normalised_value
Reading stops
04_boundary.bat:3 · refused: package path carries an unexpanded variable
Regenerate when
a named source snapshot, interpreter version, generator version, or reading condition changes.

The record cites its files by digest. Each location above is derived from the fixture bytes that establish the edge it stands for.

Open what this record cites.

The evidence record shows why this edge carries the result it does and where the supplied source ends.

Inspect technical record

This panel is for the person who has to check the reading, and it holds the reading's own record in the reading's own words. The record says what was read, the exact version of each file, the settings the reading ran under, and what it does not claim, which is what another person needs in order to run the same reading over the same code and get the same answer.

How to read the standing.

  • DIRECTLY OBSERVEDResolved from the code as written: the expression, the declared binding, or an observed execution plan. Recorded as DETERMINISTIC evidence, or OBSERVED where the reading came from a captured execution plan.
  • STRONGLY INFERREDEstablished by converging signals across a hand-over between steps: here a column matched by name between the step that writes it and the step that reads it. Recorded as PROBABILISTIC evidence.
  • NOT YET ANALYSEDNothing has read it. The systems name it, no adapter reached it, and its internals are unknown because we have not looked. It carries no evidence grade: the reason is kept as a refusal, outside the grades.
  • EXTERNALDeclared at the boundary of the supplied source. What happens past it inherits the upstream system's guarantee. It carries no evidence grade, and low confidence never produces it.

This reading follows the checked source through its compiled operators.

The checked source span enters the compiler as this reading's input.

The checked source enters the compiler, which emits an OperatorDAG; its resolver joins the selected graded field.

The checked synthetic fixture and named engine bridge bound the result; runtime values remain outside.

Here, the resolver bridge records the exact graded field identity.

Inspectable evidence record

Source-derived record

field-edge:sha256:1825858b710bc509192def233bfcae2fff9a934df33944230e8015e6d207b47a

Scope

  • site/lab/theory/fixtures/frame-a/01_read.sql
  • site/lab/theory/fixtures/frame-a/02_normalise.sql
  • site/lab/theory/fixtures/frame-a/03_report.sql
  • site/lab/theory/fixtures/frame-a/04_boundary.bat
  • site/lab/theory/fixtures/frame-b/01_read.sql
  • site/lab/theory/fixtures/frame-b/02_normalise.sql
  • site/lab/theory/fixtures/frame-b/03_report.sql
  • site/lab/theory/fixtures/frame-b/04_boundary.bat

Source snapshots

  • frame-a

    Source path
    site/lab/theory/fixtures/frame-a/02_normalise.sql
    Source SHA-256
    2c66deeb8b98f630e2be7622f7001d2e542ab1864b196c350fa1a4d933ded586
    Bundle CID
    77e28a8882dd399ee1973d2f3ea6baca03e12aa13bccf91a51c5fa270abb0e64

  • frame-b

    Source path
    site/lab/theory/fixtures/frame-b/02_normalise.sql
    Source SHA-256
    ec781e77cf8463b3f5f4fce74c535dca2e8f62bdbc69fd9b1d468d511947b5ef
    Bundle CID
    85efddd930af18c955cdedabd3ea92f5a577ead1ed1d1f9c774b3d9efb5d6426

Versions

schema_version
1
serializer_version
theory-specimen-v1
revision_identifiers.bundle_codec_version
full-v5
revision_identifiers.claim_boundary_commit
c13cc4bdabdb1f1769d68dcab7bce7430255776d
revision_identifiers.dscp_version
0.1.0
revision_identifiers.task_base_commit
637a20b04ecbbcccea048705132b2d079af10877
generator.sha256
a67498c7ab4c8e5be18d249fb3ae98db765b68acebb3dad4606b2017558865ae

Reading conditions

locale
C
timezone
UTC
sql_dialect
postgres
load_roots_flags.controlm_graph
null
load_roots_flags.conventions
null
load_roots_flags.exclusions
dscp.pipeline.adapters.exclusions.NO_EXCLUSIONS
load_roots_flags.include_vendor_js
false
load_roots_flags.pack_catalogue_dir
null
load_roots_flags.pack_hmac_key
null
load_roots_flags.schema_provider
null
hash_seeds
["0","987654"]
execution_histories
["prior-first","current-first"]
engine_root_comparison.compared_roots
2
engine_root_comparison.primary_policy
primary revision may advance only while named producer module hashes and canonical manifest bytes match the exact reference root
engine_root_comparison.reference_revision
c13cc4bdabdb1f1769d68dcab7bce7430255776d
engine_root_comparison.reference_roots
1

Source spans

  • frame-a · changed source

    site/lab/theory/fixtures/frame-a/02_normalise.sql

    106-121 · inclusive character offsets

    raw_value / 10.0

  • frame-a · operator

    site/lab/theory/fixtures/frame-a/02_normalise.sql

    90-141 · inclusive character offsets

    account_id,
    raw_value / 10.0 AS normalised_value

  • frame-b · changed source

    site/lab/theory/fixtures/frame-b/02_normalise.sql

    106-122 · inclusive character offsets

    raw_value / 100.0

  • frame-b · operator

    site/lab/theory/fixtures/frame-b/02_normalise.sql

    90-142 · inclusive character offsets

    account_id,
    raw_value / 100.0 AS normalised_value

Derivation

changed edge -> product resolver bridge -> typed operator -> checked source bytes

Changed relationships

  • 01_read.raw_value -> 02_normalise.normalised_value

    Class
    changed
    Prior transform
    raw_value / 10.0
    Current transform
    raw_value / 100.0
    • transformraw_value / 10.0→raw_value / 100.0

Unresolved boundaries

  • External display reducer

    Kind
    external
    Operation
    dscp.lineage.grade_presentation.weakest_category_id
    Inputs
    ["directly_observed","external"]
    Result
    external

  • External path-grade lift

    Kind
    external
    Operation
    dscp.lineage.provenance_semiring.lift
    Inputs
    ["external"]
    Result
    rejected
    Accepted
    false
    Error type
    ValueError

  • absolute checkout paths

    Kind
    excluded output

  • absolute fixture roots

    Kind
    excluded output

  • wall-clock capture time

    Kind
    excluded output

  • value replay

    Kind
    excluded output

  • execution witness

    Kind
    excluded output

  • simulate_stage_mutation cosmetic_only

    Kind
    excluded output

Expiry

Regenerate when a named source snapshot, interpreter version, generator version, or reading condition changes.

Inspect the second reading, shaped like real systems

A SECOND READING, SHAPED LIKE REAL SYSTEMS

What does this look like across real systems?

The reading above runs on four short files. This one runs on the shape a real set of systems has, and the same three readers handle it.

  • one ETL package with one data flow
  • one stored procedure holding one dynamic statement
  • one view joining the procedure's output to a reference table
  • one scheduler definition that runs the procedure

Synthetic Theory fixture shaped like real systems. No customer data.

SOURCE 04_schedule.xml:5 -> 01_load.dtsx:62 -> 02_usp_month_end.sql:8 -> 03_reconcile.sql:9

ONE FINDING

The reconcile view reaches report.month_end.settlement_month for report.reconcile.reconciled_month. In this frame report.month_end is supplied as as_at_month, gross_amount, position_id, and not as that column.

STRONGLY INFERRED In the current frame the reading reaches a column of a table this frame produces that no relationship in this frame supplies.

03_reconcile.sql:9 ref.rate_lookup AS r ON r.as_at_month = m.settlement_month

ONE REFUSAL

The procedure assembles one statement at runtime before it runs it. The reading records it as NOT YET ANALYSED and does not guess the table it would name.

the statement's structure is known but 1 runtime value(s) in it are not

02_usp_month_end.sql:17 1 of 1 call-graph edges out of the stored procedures in this frame

Inspect the second reading's record
Record
specimen-2.json, 155230 bytes
Digest
20698e4179c4c979bb4b25bcc20f034a4c78ce97b6f5c6b6ccaf241caa8a05ec
Lock
SPECIMEN-2-LOCK.json
Relationships read
13 in frame-b
Changed between frames
report.reconcile.reconciled_month: stg.positions.as_at_month to report.month_end.settlement_month
Prior frame
frame-a
Rule
a graded source element whose table this frame produces, and which no graded edge in this frame supplies
Edge reason
Inferred from a compiled stage-contract column match across stages.
Scope
Locked on one engine root. The first reading's comparison of two engine roots is not claimed here.

A READ CENSUS OF A WHOLE CODEBASE

What does the reading do at the scale of a whole codebase?

The readings above are small by design so every line can be checked. This census is the engine's read of a real codebase, used as a test corpus: its web pages, its application code, its database procedures and its browser scripts.

Stages read
698 (web pages 419, application code 186, database procedures 49, browser scripts 44)
Distinct read identities
802
Table reads
4,287
Unresolved
0 of 4,287 table reads (every table read was traced to a call site the census could name)

It is a census of what was read and resolved. Grades and refusals for a whole set of systems are delivered in the assessment, with the record. The codebase is a test corpus; its names are not published, and the census is bound to its record by the lock below.

Served
The same record with every name replaced by a numbered placeholder, 70,702 bytes, SHA-256 15a98c4ba26ac9f00c8b1c0c83e31dca1f04682f30e5707d02675a8de411b11e. read-census-redacted.json
Withheld
The record with the names, 132,356 bytes, SHA-256 93d554548433d12f0cd4c1c4b680d6d5371f8e109948a407698be4c11df18af9. Not published: it lists the codebase's own read identities.
Lock
READ-CENSUS-LOCK.json