Skip to content

Solderathon recruiting ontology: the World -> World' functor - #34

Open
bmorphism wants to merge 1 commit into
mainfrom
solderathon-world
Open

Solderathon recruiting ontology: the World -> World' functor#34
bmorphism wants to merge 1 commit into
mainfrom
solderathon-world

Conversation

@bmorphism

Copy link
Copy Markdown
Member

Solderathon recruiting ontology — the World → World′ functor

Adds a small categorical world to the forest: a down-leveling functor F : 𝒲 → 𝒲′ that
maps professional archetypes (𝒲) to solderathon recruits (𝒲′) — the younger, faster,
cheaper
image of each archetype we actually want at the bench.

What's in it

117 new .tree files, 10 entity types across two worlds + schema + audit:

𝒲 (archetype world) F ↦ 𝒲′ (solderathon world)
archetype ×26 recruit ×26
competency ×18 skill ×18
function ×3 track ×3
team ×9 pod ×9
level ×3 stage ×3

Plus wld-0000 (the schema/olog) and wld-audit (the measured findings).

All the morphisms (it's a functor)

F carries every morphism, not just objects:
in_function, on_team, team_in, at_level, and the requires span. The schema invariant
in_function = team_in ∘ on_team (the commuting triangle) is preserved in 𝒲′ as
in_track = pod_in ∘ in_pod.

Measured invariants (read off, never assigned)

  • morphism edges: 415, unresolved: 0H¹ = 0 (the world is closed)
  • commuting triangle: 0 violations / 26 archetypes
  • attractor valence r = Δa(younger) + Δv(faster) + Δc(cheaper), per recruit
  • Σtrit = −10 ≡ 2not forced to 0. The drift is the finding: F is lossy on exactly the
    expensive archetypes (senior / finance / support have no younger·faster·cheaper image —
    16 clean / 10 obstructed). A solderathon attracts the cheap·fast·young 16. Content-H¹, kept.

Provenance

Built via the duckdb + webbed apparatus already used elsewhere in the forest (PLACE_WEBBED.md):
source ingested through duckdb, trees forester-compiled to XML, re-ingested via read_xml_objects

  • xml_extract, and snapshotted into a DuckLake for time-travel. Verified independently by a
    babashka pass.

Soldering / solderathon thread — cc @exanova-y @zubyul @dynamic-queries

@bmorphism
bmorphism force-pushed the solderathon-world branch from 167dfec to 51ba95b Compare June 29, 2026 05:54
…ity from forest root; enriched recruits; H1=0, triangle holds
@bmorphism
bmorphism force-pushed the solderathon-world branch from 51ba95b to 5aae580 Compare June 29, 2026 06:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants